Orthomodular implication algebras

DOI10.1023/A:1011933018776MaRDI QIDQ5955524zbMATH OpenFDO

Authors Ivan Chajda, Radomír Halaš, Helmut Länger

Publication date 11 April 2002

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1011933018776

zbMATH Keywords

join-semilatticeorthomodular latticeimplication algebra

Mathematics Subject Classification ID

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

Recommendations

• Simple axioms for orthomodular implication algebras
• scientific article; zbMATH DE number 3271476
• Iimplication algebras
• Congruence kernels of orthomodular implication algebras
• An implicational logic for orthomodular lattices
• scientific article; zbMATH DE number 18116
• Finite lattice implication algebras
• Generalizations of Implication Algebras
• scientific article; zbMATH DE number 205724
• Quasi-implication algebras

Cited in

(26)

• scientific article; zbMATH DE number 18116 (Why is no real title available?)
• An implication in orthologic
• Noncommutative symmetric differences in orthomodular lattices
• How to introduce the connective implication in orthomodular posets
• IMPLICATIVE ORTHOPOSETS
• Operations and structures derived from non-associative MV-algebras
• The Sheffer stroke operation reducts of basic algebras
• Generalizations of Implication Algebras
• The axioms for implication in orthologic
• scientific article; zbMATH DE number 3557839 (Why is no real title available?)
• scientific article; zbMATH DE number 2148625 (Why is no real title available?)
• An implicational logic for orthomodular lattices
• scientific article; zbMATH DE number 2209895 (Why is no real title available?)
• Quasi-orthomodular posets and weak BCK-algebras.
• scientific article; zbMATH DE number 5943805 (Why is no real title available?)
• Filters of implication reducts of basic algebras.
• Orthogonality and Boolean Algebras for Deduction Modulo
• Quantum implication algebras
• Orthomodular semilattices
• Sequent Calculi for Orthologic with Strict Implication
• Congruence kernels of orthomodular implication algebras
• Nearlattices
• Simple axioms for orthomodular implication algebras
• Remarks on skew Hilbert algebras and weak \(\mathrm{BCK}^\ast\)-algebras
• Algebraically expandable classes of implication algebras
• The logic of distributive nearlattices

This page was built for publication: Orthomodular implication algebras

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