Equational bases for some varieties of orthomodular lattices related to states

DOI10.1007/BF01237719zbMATH Open0618.06003OpenAlexW2075226191MaRDI QIDQ1089015FDOQ1089015

Authors: 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

Recommendations

• Varieties of orthomodular lattices related to states
• SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
• scientific article; zbMATH DE number 3950597
• Self-dual bases for varieties of orthomodular lattices
• Quasivarieties of orthomodular lattices determined by conditions on states

zbMATH Keywords

statesequationsfinite orthomodular latticerecursive equational basevarieties of orthomodular lattices

Mathematics Subject Classification ID

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

Cites Work

• Non-standard analysis
• Orthomodular lattices admitting no states
• Title not available (Why is that?)
• Varieties of orthomodular lattices related to states
• SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
• VARIETIES OF ORTHOMODULAR LATTICES WITH A STRONGLY FULL SET OF STATES
• STATES ON ORTHOMODULAR LATTICES

Cited In (14)

• Quasivarieties of orthomodular lattices determined by conditions on states
• A new axiomatization of unified quantum logic
• Exhaustive generation of orthomodular lattices with exactly one nonquantum state
• Orthomodular lattices with state-separated noncompatible pairs
• Varieties of orthocomplemented lattices induced by Łukasiewicz-groupoid-valued mappings
• Varieties of orthomodular lattices related to states
• Title not available (Why is that?)
• On blocks in the products and ultraproducts of orthomodular lattices
• Hilbert lattice equations
• A natural deduction system for orthomodular logic
• Graph approach to quantum systems
• SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
• Bibliography on quantum logics and related structures
• Equations holding in Hilbert lattices

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1089015)