New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions

DOI10.1305/ndjfl/1027953484zbMath1009.03032OpenAlexW1965076161MaRDI QIDQ698543

Jarosław Pykacz

Publication date: 22 April 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1027953484

zbMATH Keywords

orthomodular latticequantum logicdisjunctionconjuctionMackey decomposition

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (1)

The problem of conjunction and disjunction in quantum logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Commutator-finite orthomodular lattices
• Blocks and commutators in orthomodular lattices
• Equationally definable implication algebras for orthomodular lattices
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Quantum and classical implication algebras with primitive implications
• On some new operations on orthomodular lattices
• Conjunctions, disjunctions, and Bell-type inequalities in orthoalgebras
• The logic of quantum mechanics
• On Generating Distributive Sublattices of Orthomodular Lattices
• A Radon-Nikodym Theorem in Dimension Lattices

This page was built for publication: New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions