Decidability in orthomodular lattices

DOI10.1007/S10773-005-8019-XzbMath1110.81015OpenAlexW2062227452MaRDI QIDQ861643

Marek Hyčko, Mirko Navara

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

zbMATH Keywords

equivalenceorthomodular latticeidealimplicationcongruencefree lattice

Mathematics Subject Classification ID

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