[논문 리뷰] Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation

Prosenjit Howlader, Léonard Kwuida외 2명|arXiv (Cornell University)|2026. 01. 04.

Advanced Algebra and Logic인용 수 0

한 줄 요약

이 논문은 더블 Boolean 대수(dBas)에 대한 간략화된 D-core 공리 시스템을 도입하고, Wille의 원래 정의와 동등함을 증명하며, 불 대수 표현(Boolen) 및 위상 표현과 맥락적 및 순수 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.

연구 동기 및 목표

• D-core 대수 개념을 통해 double Boolean 대수(dBas)에 대한 최소한의 중복 없는 공리화를 개발한다.
• 모든 dBa가 D-core 대수와 동등하다는 것을 보이고, 두 개의 Boolean 대수로부터 Boolean 표현으로 가는 간소화된 경로를 제공한다.
• dBas에 대한 Stone 유형의 위상 표현을 포함하여 표현 결과를 확장·정교화한다.
• 겹치는 Boolean 대수에 대해 glued-sum 구성의 일반화를 수행하고 이를 일반화된 순서를 통해 특징지운다.
• 맥락적(contextual) 및 순수(pure) dBas에 대해 간소화된 sequent 및 hyper-sequent 계산법을 개발하고 기존 시스템과의 등가성을 확립한다.

제안 방법

• D-core 대수를 dBas의 최소 공리 집합으로 도입하고 Wille의 정의와의 등가를 입증한다.
• D-core 시스템으로부터 중복 공리를 도출하고 핵심 성질(예: 부정 및 이중 부정 법칙)을 입증한다.
• Boolean 대수에 대한 일반화된 glued-sum 구성을 제공하고 이를 dBas로 확장하며 r, e, r', e'를 통해 확장한다.
• dBa 원소를 곱집합 Stone 공간의 clopen 부분집합으로 매핑하여 Stone-space 기반 위상 표현을 구성한다.
• CTSCR(연속 관계를 가진 위상 공간에서의 컨텍스트)을 정의하고 분석하여 맥락적(contextual) 및 순수(pure) dBas에 대한 위상 표현을 얻는다.
• 간소화된 증명 시스템 L(contextual) 및 HL(pure)을 제시하고 그것들이 CDBL 및 PDBL과 동등함을 입증한다.

실험 결과

연구 질문

• RQ1 최소한의 D-core 공리 시스템이 double Boolean 대수의 구조를 충분히 포착할 수 있는가?
• RQ2 D-core 프레임워크를 사용하여 Wille의 Boolean 표현을 어떻게 더 적은 조건으로 정제할 수 있는가?
• RQ3 모든 dBas에 적합한 위상 표현은 무엇이며, 맥락적(contextual) 및 순수(pure) 경우에 어떻게 특수화되는가?
• RQ4 일반화된 glued-sum 구성이 dBas 내에서 더 넓고 겹치는 기반의 Boolean 대수 구성은 가능하게 하는가?
• RQ5 맥락적(contextual) 및 순수(pure) dBas에 대해 기존 계산과 정합하는 더 간단하고 동등한 증명 시스템이 있는가?

주요 결과

• D-core 대수는 이중 Boolean 대수(dBa)와 동등하며, 최소하고 중복 없는 공리화를 제공한다.
• 개선된 Boolean 표현 정리는 dBa를 adjoint 맵으로 연결된 두 Boolean 대수의 쌍으로 표현하는 데 필요한 조건이 더 적다는 것을 보여준다.
• 일반화된 glued-sum 구성이 겹치는 Boolean 대수들로 확장되고, 적절한 조건하에서 일반화된 D-core 대수를 산출한다.
• Stone-space 기반 위상 표현은 모든 dBa가 Stone 공간의 clopen 부분집합의 dBa와 준동형임을 입증하며, 전체 맥락적(contextual) 및 순수(pure) 사례는 clopen protoconcepts와 semiconcepts를 통해 포착된다.
• 새로운 간소화된 sequent 및 hyper-sequent 계산법(L, HL)은 각각 CDBL 및 PDBL과 동등하여 맥락적(contextual) 및 순수(dBas) 에 대해 더 명확한 증명 시스템을 제공한다.
• 위상 프레임 CTSCR은 곱 Stone 공간과 clopen 직사각형을 통해 dBas와 맥락적 dBas의 통합 표현을 가능케 한다.