Equational bases for some varieties of orthomodular lattices related to states

DOI10.1007/BF01237719zbMath0618.06003OpenAlexW2075226191MaRDI QIDQ1089015

René Mayet

Publication date: 1986

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01237719

zbMATH Keywords

statesequationsfinite orthomodular latticerecursive equational basevarieties of orthomodular lattices

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) States of selfadjoint operator algebras (46L30) Equational classes, universal algebra in model theory (03C05) Varieties of lattices (06B20)

Related Items (9)

Orthomodular lattices with state-separated noncompatible pairs ⋮ On blocks in the products and ultraproducts of orthomodular lattices ⋮ Hilbert lattice equations ⋮ Bibliography on quantum logics and related structures ⋮ Varieties of orthocomplemented lattices induced by Łukasiewicz-groupoid-valued mappings ⋮ A new axiomatization of unified quantum logic ⋮ Exhaustive generation of orthomodular lattices with exactly one nonquantum state ⋮ Equations holding in Hilbert lattices ⋮ Graph approach to quantum systems

Cites Work

• Unnamed Item
• Varieties of orthomodular lattices related to states
• Orthomodular lattices admitting no states
• SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
• STATES ON ORTHOMODULAR LATTICES
• VARIETIES OF ORTHOMODULAR LATTICES WITH A STRONGLY FULL SET OF STATES
• Non-standard analysis

This page was built for publication: Equational bases for some varieties of orthomodular lattices related to states