Cover Image

Monadic ortholattices: completions and duality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harding, John, McDonald, Joseph, Peinado, Miguel
Format:	Preprint
Published:	2024
Subjects:	Logic Quantum Physics 06C15, 06B23 06E15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Completely hereditarily atomic OMLs
by: Harding, John, et al.
Published: (2023)

Operators Max L and Min U and duals of Boolean posets
by: Chajda, Ivan, et al.
Published: (2025)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Duality Theory for Bounded Lattices: A Comparative Study
by: Bezhanishvili, Guram, et al.
Published: (2025)

The variety of complemented lattices where the Sasaki operations form an adjoint pair
by: Cenker, Václav, et al.
Published: (2024)

Degrees of join-distributivity via Bruns-Lakser towers
by: Bezhanishvili, G., et al.
Published: (2024)

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

Local tabularity in MS4 with Casari's axiom
by: Meadors, Chase
Published: (2024)

Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)

Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness
by: Bezhanishvili, G., et al.
Published: (2024)

On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)

Operators on complemented posets
by: Botur, Michal, et al.
Published: (2025)

Achronal Localization, Representations of the Causal Logic for massive systems
by: Castrigiano, Domenico P. L.
Published: (2024)

MV-frames
by: Nganou, Jean B
Published: (2024)

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

Operators on complemented lattices
by: Chajda, Ivan, et al.
Published: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Invariants for metrisable locally compact Boolean spaces
by: Apps, Andrew B.
Published: (2025)

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
by: Bezhanishvili, Guram, et al.
Published: (2022)

Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)

Embeddings into the generic poset
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)

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

Congruences on posets, relatively pseudocomplemented and Boolean posets
by: Chajda, Ivan, et al.
Published: (2025)

Infinite convex geometries with lower semi-modularity and join semi-distributivity
by: Mata, Adam
Published: (2025)

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

Partitions of primitive Boolean spaces
by: Apps, Andrew B.
Published: (2023)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
by: Kurilić, Miloš S.
Published: (2026)

Simple, subdirectly irreducible weakly dicomplemented lattices
by: Jeufack, Yannick Lea Tenkeu, et al.
Published: (2026)

Properties of the symmetric difference in lattices with complementation
by: Cenker, Václav, et al.
Published: (2025)

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

Piecewise convex embeddability on linear orders
by: Iannella, Martina, et al.
Published: (2023)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

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

Filters and congruences in weakly complemented lattices
by: Jeufack, Yannick Léa Tenkeu, et al.
Published: (2025)

A new proof of Funayama's theorem
by: Bezhanishvili, Guram, et al.
Published: (2026)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
by: Howlader, Prosenjit, et al.
Published: (2026)