:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	McDonald, Joseph
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2507.17715
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Monadic ortholattices: completions and duality
by: Harding, John, et al.
Published: (2024)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
by: Lin, Chun-Yu, et al.
Published: (2025)

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

Cylindric quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

The completeness and congruences of quasi-Boolean algebras
by: Liu, Xiaohao, et al.
Published: (2025)

Dual Ploščica spaces of ortholattices
by: Craig, Andrew, et al.
Published: (2026)

Cardinal Characteristics and Computability
by: McDonald, Logan
Published: (2025)

Direct and ordinal products realized by triangular norm operators with no zero divisors
by: McDonald, Joseph
Published: (2023)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

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

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

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

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

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

Canonical Truth
by: Carl, Merlin, et al.
Published: (2017)

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

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

An extension of Priestley duality to fuzzy topologies and positive MV-algebras
by: Ortiz, Marby Zuley Bolaños, et al.
Published: (2025)

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

Boolean-valued second-order logic revisited
by: Ikegami, Daisuke
Published: (2025)

Building complicated index models and Boolean algebras
by: Shelah, Saharon
Published: (2024)

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

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

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

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

Stable Canonical Rules for Intuitionistic Modal Logics
by: Liao, Cheng
Published: (2026)

Saturation Properties of Ultrafilters in Canonical Inner Models
by: Benhamou, Tom
Published: (2022)

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

Compositional Control-Driven Boolean Circuits
by: Arellanes, Damian
Published: (2025)

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

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

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)

A Stone-type duality for semilattices with adjunctions
by: Gimenez, B., et al.
Published: (2024)

Structural completeness in quasivarieties
by: Aglianó, Paolo, et al.
Published: (2024)

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

Priestley-style duality for filter-distributive congruential logics
by: Esteban, María, et al.
Published: (2020)

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

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

Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)

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