Simple axioms for orthomodular implication algebras
From MaRDI portal
Publication:1768659
DOI10.1023/B:IJTP.0000048587.50827.93zbMath1064.06003OpenAlexW2031707157MaRDI QIDQ1768659
Radomír Halaš, Helmut Länger, Ivan Chajda
Publication date: 15 March 2005
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:ijtp.0000048587.50827.93
implication algebraortholatticeindependent axiomsorthomodular implication algebraorthoimplication algebra
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items (6)
The Sheffer stroke operation reducts of basic algebras ⋮ Quasi-orthomodular posets and weak BCK-algebras. ⋮ Congruence kernels of orthomodular implication algebras ⋮ Nearlattices ⋮ The axioms for implication in orthologic ⋮ Operations and structures derived from non-associative MV-algebras
This page was built for publication: Simple axioms for orthomodular implication algebras
