Copertina

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Howlader, Prosenjit, Kwuida, Leonard, Behrisch, Mike, Liau, Churn-Jung
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic 03G10, 08C10, 06E15
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2024)

Reduced Products of Collapsing Algebras
di: Kurilić, Miloš S.
Pubblicazione: (2024)

Correspondence Theory for Many-valued Modal Logic
di: Britz, Cecelia, et al.
Pubblicazione: (2024)

Automorphism groups of Boolean powers with ample generics
di: Mayr, Peter, et al.
Pubblicazione: (2025)

Congruence Extensions in Congruence-modular Varieties
di: Georgescu, George, et al.
Pubblicazione: (2020)

Term algebras of elementarily equivalent atom structures
di: Andréka, H., et al.
Pubblicazione: (2018)

The Logic of Cardinality Comparison Without the Axiom of Choice
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2022)

Splittings in varieties of logic
di: Davey, Brian A., et al.
Pubblicazione: (2025)

Finite models for positive combinatorial and exponential algebra
di: Alsulami, Tumadhir, et al.
Pubblicazione: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2025)

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
di: Kostana, Ziemowit
Pubblicazione: (2026)

Clones of Borel Boolean Functions
di: Chen, Ruiyuan, et al.
Pubblicazione: (2024)

A universal characterization of standard Borel spaces
di: Chen, Ruiyuan
Pubblicazione: (2019)

Monotone infinitary operations on ordinals (extended version)
di: Lipparini, Paolo
Pubblicazione: (2025)

A Complete Bounded Theory with Unbounded Types
di: Zhu, Hongyu
Pubblicazione: (2026)

Copies of Monomorphic Structures
di: Kurilić, Miloš S.
Pubblicazione: (2023)

Forcing With Copies of Uncountable Ordinals
di: Kurilić, Miloš S.
Pubblicazione: (2023)

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

Locally Integral Involutive PO-Semigroups
di: Gil-Férez, José, et al.
Pubblicazione: (2023)

Cutsets in ${\mathcal P}(X)$
di: Ginsburg, John, et al.
Pubblicazione: (2025)

Filtered Boolean powers of finite simple non-abelian Mal'cev algebras
di: Mayr, Peter, et al.
Pubblicazione: (2024)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
di: Shapirovsky, Ilya B., et al.
Pubblicazione: (2025)

Relation algebras containing Thompson groups
di: Maddux, Roger D.
Pubblicazione: (2023)

On orthoposets of numerical events in quantum logic
di: Dorninger, Dietmar, et al.
Pubblicazione: (2026)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
di: Holliday, Wesley H.
Pubblicazione: (2022)

The happy coexistence of mad families and Laver measurability
di: Tornquist, Asger, et al.
Pubblicazione: (2025)

The variety of coset relation algebras
di: Givant, Steven, et al.
Pubblicazione: (2018)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

The Ramsey property and higher dimensional mad families
di: Schrittesser, David, et al.
Pubblicazione: (2020)

Unorthodox Algebras and their associated Unorthodox Logics
di: Sankappanavar, Hanamantagouda P.
Pubblicazione: (2025)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
di: Koshkin, Sergiy
Pubblicazione: (2024)

Generalized sums of linear orders
di: Ramos, Álvaro Díaz, et al.
Pubblicazione: (2025)

Free algebras and coproducts in varieties of Gödel algebras
di: Carai, Luca
Pubblicazione: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Convex Embeddability and Knot Theory
di: Iannella, Martina, et al.
Pubblicazione: (2023)

Transasymptotic expansions of o-minimal germs
di: Rolin, Jean-Philippe, et al.
Pubblicazione: (2024)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
di: Beyarslan, Özlem, et al.
Pubblicazione: (2017)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
di: Gardiner, Lyra A., et al.
Pubblicazione: (2026)

Generalizations of The Finite Height Criterion for Local Tabularity
di: Shapirovsky, Ilya B.
Pubblicazione: (2025)

The behavior of higher proof theory I: Case $Σ^1_2$
di: Jeon, Hanul
Pubblicazione: (2024)