Cover Image

Completely hereditarily atomic OMLs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harding, John, Kornell, Andre
Format:	Preprint
Published:	2023
Subjects:	Quantum Physics Mathematical Physics 06C15 (Primary) 03G12, 06B23, 06C15 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A natural deduction system for orthomodular logic
by: Kornell, Andre
Published: (2021)

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)

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

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

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

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

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

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

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Derived operators on skew orthomodular and strong skew orthomodular posets
by: Chajda, Ivan, et al.
Published: (2025)

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

Critical elements in algebras of numerical events
by: Dorninger, Dietmar, et al.
Published: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

Definable ranks
by: Krapp, Lothar Sebastian, et al.
Published: (2025)

Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)

Truncations in languages of generalized power series and the structure of $T$-$λ$-spherical completions of o-minimal fields
by: Freni, Pietro
Published: (2024)

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

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Adjointness of generalized Sasaki operations in posets
by: Chajda, Ivan, et al.
Published: (2024)

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

Projection-algebras and quantum logic
by: Lehmann, Daniel
Published: (2024)

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

On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)

A model theory of topology
by: Lipparini, Paolo
Published: (2022)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

Notes on planar semimodular lattices. VII. Resections of planar semimodular lattices
by: Czédli, Gábor, et al.
Published: (2012)

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

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

Weakly binary expansions of dense meet-trees
by: Mennuni, Rosario
Published: (2020)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

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

Forking in valued fields and related structures
by: Hossain, Akash
Published: (2024)

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

Complemented zero-divisor graph of posets
by: Khiste, Anagha, et al.
Published: (2026)

A Proof of the Conjecture on complemented zero-divisor graphs of semigroups
by: Khiste, Anagha, et al.
Published: (2026)

The operator of relative complementation
by: Chajda, Ivan, et al.
Published: (2024)

$χ$ -extending modular lattices
by: Celis-González, Jesus Adrian, et al.
Published: (2025)