Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2507.00194 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On orthoposets of numerical events in quantum logic
by: Dorninger, Dietmar, et al.
Published: (2026)
by: Dorninger, Dietmar, et al.
Published: (2026)
Adjointness of generalized Sasaki operations in posets
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
Projection-algebras and quantum logic
by: Lehmann, Daniel
Published: (2024)
by: Lehmann, Daniel
Published: (2024)
Derived operators on skew orthomodular and strong skew orthomodular posets
by: Chajda, Ivan, et al.
Published: (2025)
by: Chajda, Ivan, et al.
Published: (2025)
On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)
by: Paseka, Jan, et al.
Published: (2026)
Lagrange-like interpolation in unitary rings, Boolean algebras and Boolean posets
by: Chajda, Ivan, et al.
Published: (2025)
by: Chajda, Ivan, et al.
Published: (2025)
Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
by: Putra, Juanda Kelana, et al.
Published: (2026)
by: Putra, Juanda Kelana, et al.
Published: (2026)
Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)
by: Lipparini, Paolo
Published: (2023)
Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)
by: Lipparini, Paolo
Published: (2023)
Algebras and varieties where Sasaki operations form an adjoint pair
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
Finitely additive measures on Boolean algebras
by: Cardona, Miguel A., et al.
Published: (2025)
by: Cardona, Miguel A., et al.
Published: (2025)
A natural deduction system for orthomodular logic
by: Kornell, Andre
Published: (2021)
by: Kornell, Andre
Published: (2021)
Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
by: Higuchi, Joaquim Reizi
Published: (2026)
by: Higuchi, Joaquim Reizi
Published: (2026)
A characterisation of orthomodular spaces by Sasaki maps
by: Lindenhovius, Bert, et al.
Published: (2022)
by: Lindenhovius, Bert, et al.
Published: (2022)
Frobenius reciprocity, modular connections, lattice isomorphism theorem and abstract principal ideals
by: Goswami, Amartya, et al.
Published: (2025)
by: Goswami, Amartya, et al.
Published: (2025)
A countable Boolean algebra that is Reichenbach's common cause complete
by: Burešová, Dominika
Published: (2025)
by: Burešová, Dominika
Published: (2025)
Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
by: Howlader, Prosenjit, et al.
Published: (2026)
by: Howlader, Prosenjit, et al.
Published: (2026)
Completely hereditarily atomic OMLs
by: Harding, John, et al.
Published: (2023)
by: Harding, John, et al.
Published: (2023)
Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)
by: Britz, Cecelia, et al.
Published: (2024)
Definable ranks
by: Krapp, Lothar Sebastian, et al.
Published: (2025)
by: Krapp, Lothar Sebastian, et al.
Published: (2025)
Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)
by: Botur, Michal, et al.
Published: (2026)
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)
by: Holliday, Wesley H.
Published: (2022)
Atoms in four-element generating sets of partition lattices
by: Czédli, Gábor
Published: (2024)
by: Czédli, Gábor
Published: (2024)
Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)
by: Apps, Andrew
Published: (2021)
Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)
by: Coquand, Thierry, et al.
Published: (2017)
A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)
by: Chen, Ruiyuan
Published: (2019)
Nilpotent BCK-algebras
by: Evans, C. Matthew
Published: (2025)
by: Evans, C. Matthew
Published: (2025)
A generalized infinite quantum Ramsey theorem for operator systems
by: Mijares, José G.
Published: (2026)
by: Mijares, José G.
Published: (2026)
The operator of relative complementation
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
Congruences on posets, relatively pseudocomplemented and Boolean posets
by: Chajda, Ivan, et al.
Published: (2025)
by: Chajda, Ivan, et al.
Published: (2025)
Remarks on orthogonality spaces
by: Harding, John, et al.
Published: (2025)
by: Harding, John, et al.
Published: (2025)
Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)
by: Sankappanavar, Hanamantagouda P.
Published: (2025)
Properties of the symmetric difference in lattices with complementation
by: Cenker, Václav, et al.
Published: (2025)
by: Cenker, Václav, et al.
Published: (2025)
Four generators of an equivalence lattice with consecutive block counts
by: Czédli, Gábor
Published: (2024)
by: Czédli, Gábor
Published: (2024)
Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)
by: Gil-Férez, José, et al.
Published: (2023)
Congruence Extensions in Congruence-modular Varieties
by: Georgescu, George, et al.
Published: (2020)
by: Georgescu, George, et al.
Published: (2020)
Quasimodules over bounded lattices
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
Anchored Implication & Event-Indexed Fixed Points in Hilbert Spaces: Uniqueness and Quantitative Rates
by: Alpay, Faruk, et al.
Published: (2025)
by: Alpay, Faruk, et al.
Published: (2025)