Decidability in orthomodular lattices
From MaRDI portal
Publication:861643
DOI10.1007/S10773-005-8019-XzbMath1110.81015OpenAlexW2062227452MaRDI QIDQ861643
Publication date: 29 January 2007
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10773-005-8019-x
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Lattice ideals, congruence relations (06B10) Quantum logic (03G12) Free lattices, projective lattices, word problems (06B25)
Related Items (4)
Sasaki projections ⋮ Computer proof of monotonicity of operations on orthomodular lattices ⋮ Central lifting property for orthomodular lattices ⋮ Weaker forms of associativity in orthomodular lattices.
Cites Work
- Equivalencies, identities, symmetric differences, and congruences in orthomodular lattices
- Quantum implication algebras
- Some properties of congurence relations on orthomodular lattices
- The free orthomodular word problem is solvable
- On Generating Distributive Sublattices of Orthomodular Lattices
- An Addendum to "On Generating Distributive Sublattices of Orthomodular Lattices"
- A Radon-Nikodym Theorem in Dimension Lattices
- Orthomodular lattices and a quantum algebra.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Decidability in orthomodular lattices