Orthomodular implication algebras
From MaRDI portal
Publication:5955524
DOI10.1023/A:1011933018776zbMath0992.06008MaRDI QIDQ5955524
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)
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Semilattices (06A12)
Related Items (12)
The Sheffer stroke operation reducts of basic algebras ⋮ Orthomodular semilattices ⋮ Filters of implication reducts of basic algebras. ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Quasi-orthomodular posets and weak BCK-algebras. ⋮ Congruence kernels of orthomodular implication algebras ⋮ Nearlattices ⋮ An implication in orthologic ⋮ Noncommutative symmetric differences in orthomodular lattices ⋮ The logic of distributive nearlattices ⋮ The axioms for implication in orthologic ⋮ Operations and structures derived from non-associative MV-algebras
This page was built for publication: Orthomodular implication algebras
