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

implication algebrajoin-semilatticeorthomodular lattice

Mathematics Subject Classification ID

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

Review text

\textit{J. C. Abbott} [Mat. Vesn., N. Ser. 4, 177--198 (1967; Zbl 0153.02704)] introduced the notion of an implication algebra using some axioms fulfilled by the implication operation \(x \to y := x' \lor y\) in Boolean algebras. He showed, e.g., the correspondence of implication algebras to Boolean join-semilattices. The authors generalize these notions and results starting with properties of the operation \(x \to y := (x' \land y') \lor y\) in orthomodular lattices.

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

(27)

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