[論文レビュー] Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation

Prosenjit Howlader, Léonard Kwuida+2 more|arXiv (Cornell University)|Jan 4, 2026

Advanced Algebra and Logic被引用数 0

ひとこと要約

本論文は、ダブル真理代数（dBas）の簡略化されたD-core公理系を導入し、Willeの元の定義との同値性を証明し、Booleanおよび位相表現と、文脈的および純粋なdBasのための簡素化された証明系を確立する。

ABSTRACT

Double Boolean algebras (dBas), introduced by Wille, are based on twenty-three identities. We present a simplified axiom system, the D-core algebra, and prove it is equivalent to Wille's original definition. This reduction allows improved structural results, including a refined Boolean representation theorem showing fewer conditions suffice to represent a dBa as a pair of Boolean algebras linked by adjoint maps. We generalize the glued-sum construction to possibly overlapping Boolean algebras, characterize them via a generalized order, and establish a Stone-type topological representation: every dBa is quasi-isomorphic to a dBa of clopen subsets of a Stone space. Simplified logical systems for contextual and pure dBas are developed with soundness and completeness.

研究の動機と目的

• ダブルBoolean代数（dBas）をD-core代数概念を用いて最小限で冗長性のない公理化を開発する。
• すべてのdBaがD-core代数と同値であることを示し、Boolean表現を2つのBoolean代数からの streamlined な道筋を提供する。
• Stone型の位相表現を含む表現結果を拡張・改良し、dBasの表現を確立する。
• 重ね合わせ可能なBoolean代数を一般化した glued-sum 構成を拡張し、それらを一般化順序で特徴づける。
• 文脈的および純粋なdBasのための簡略化されたsequentおよびhyper-sequent計算を開発し、既存系と同等であることを確立する。

提案手法

• D-core代数をdBasの最小公理系として導入し、Willeの定義との同値性を証明する。
• D-core系から冗長公理を導出し、主要特性（例：否定法および双対否定法）を証明する。
• Boolean代数の一般化されたglued-sum構成を提供し、それをr,e,r',e'による写像を介してdBasへ拡張する。
• dBa要素をStone空間の積の開閉部分集合への写像としてStone-spaceベースの位相表現を構築する。
• CTSCR（連続関係を有する位相空間上の文脈）を定義・分析し、文脈的および純粋dBasの位相表現を得る。
• 簡略化された証明系L（文脈的）とHL（純粋）を提示し、それらがCDBLおよびPDBLと等価であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 最小のD-core公理系はダブルBoolean代数の構造を完全にとらえることができるか？
• RQ2 WilleのBoolean表現をD-coreフレームワークを用いて、条件を減らして洗練させるにはどうすればよいか？
• RQ3 すべてのdBasに適切な位相表現は何か、文脈的および純粋な場合にはどう特化するか？
• RQ4 一般化されたglued-sum構成はdBas内でのBoolean代数の重ね合わせベースの構成を広く提供できるか？
• RQ5 文脈的および純粋なdBasに対して、既存の計算規則と一致するより簡潔で等価な証明系は存在するか？

主な発見

• D-core代数はダブルBoolean代数と同値であり、最小で冗長性のない公理化を提供する。
• 洗練されたBoolean表現定理は、dBaをBoolean代数の対として結ぶ随伴写像を用いて表現するのに必要な条件が少なくて済むことを示す。
• 一般化されたglued-sum構成は重ね合わせるBoolean代数へ拡張され、適切な条件下で一般化D-core代数を生み出す。
• Stone-spaceベースの位相表現は、すべてのdBaがStone空間の開閉部分集合のdBaに準同型であることを証明し、完全な文脈的および純粋な場合を開閉プリコントセプトおよび準概念で捉える。
• 新しい簡略化されたsequentおよびhyper-sequent計算系（LおよびHL）は、それぞれCDBLおよびPDBLと等価であり、文脈的および純粋なdBasのより明確な証明系を提供する。
• 位相フレームワークCTSCRは、積Stone空間と開閉長方形を通じてdBasと文脈的dBasの統一表現を可能にする。