Copertina

The completeness and congruences of quasi-Boolean algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Liu, Xiaohao, Wang, Heyan, Chen, Wenjuan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Strong quasi-MV* algebras and their logics
di: Cai, Lei, et al.
Pubblicazione: (2025)

The logic of quasi MV star algebras
di: Cai, Lei, et al.
Pubblicazione: (2025)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
di: McDonald, Joseph
Pubblicazione: (2025)

Varieties of modal algebras without the congruence extension property
di: Gyenis, Zalán, et al.
Pubblicazione: (2024)

A countable Boolean algebra that is Reichenbach's common cause complete
di: Burešová, Dominika
Pubblicazione: (2025)

Separation of congruence intervals and implications
di: Bulatov, Andrei A.
Pubblicazione: (2020)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Orthogonality relations and operators on bounded quasi-implication algebras
di: McDonald, Joseph
Pubblicazione: (2025)

Cylindric quasi-implication algebras
di: McDonald, Joseph
Pubblicazione: (2025)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Contractions of quasi relation algebras and applications to representability
di: Craig, Andrew, et al.
Pubblicazione: (2026)

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
di: Sobota, Damian, et al.
Pubblicazione: (2025)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
di: Craig, Andrew, et al.
Pubblicazione: (2025)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
di: Sobota, Damian, et al.
Pubblicazione: (2023)

Boolean-valued second-order logic revisited
di: Ikegami, Daisuke
Pubblicazione: (2025)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
di: Suárez, Juan M Santiago, et al.
Pubblicazione: (2025)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
di: Jarmuzek, Tomasz, et al.
Pubblicazione: (2024)

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
di: Rostami, Esmaeil
Pubblicazione: (2025)

Satisfiability of Quantified Boolean Announcements
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2022)

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

Building complicated index models and Boolean algebras
di: Shelah, Saharon
Pubblicazione: (2024)

Compositional Control-Driven Boolean Circuits
di: Arellanes, Damian
Pubblicazione: (2025)

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

Structural Analysis of Boolean Equation Systems
di: Keiren, Jeroen, et al.
Pubblicazione: (2010)

Structural completeness in quasivarieties
di: Aglianó, Paolo, et al.
Pubblicazione: (2024)

The complete classification for quantified equality constraints
di: Zhuk, Dmitriy, et al.
Pubblicazione: (2021)

The epimorphism relation among countable groups is a complete analytic quasi-order
di: Gao, Su, et al.
Pubblicazione: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order
di: Paolini, Gianluca, et al.
Pubblicazione: (2023)

On Top-Down Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
di: de Jong, Tom
Pubblicazione: (2024)

Difference-restriction algebras with operators
di: Borlido, Célia, et al.
Pubblicazione: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Polynomials as terms and the Boolean Independence Theorem
di: Klazar, M.
Pubblicazione: (2024)

Simplifier: A New Tool for Boolean Circuit Simplification
di: Averkov, Daniil, et al.
Pubblicazione: (2025)

Bringing memory to Boolean networks: a unifying framework
di: Gadouleau, Maximilien, et al.
Pubblicazione: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
di: Calvino, Alessandro Tempia, et al.
Pubblicazione: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
di: Azpeitia, Eugenio, et al.
Pubblicazione: (2024)

Strong completeness for the predicate logic of the continuous t-norms
di: Castaño, Diego, et al.
Pubblicazione: (2024)

Characterizing relative decidability in terms of model completeness
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2026)