A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic
From MaRDI portal
Publication:1925549
DOI10.1155/2012/259541zbMath1267.03062OpenAlexW1995074720WikidataQ58705638 ScholiaQ58705638MaRDI QIDQ1925549
Publication date: 18 December 2012
Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2012/259541
orthomodular latticelinear logicquantum logicimplicationKripke semanticsintuitionistic logicmorphological operator
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Cites Work