An implicational logic for orthomodular lattices

DOI10.14232/ACTASM-015-813-6MaRDI QIDQ2979435zbMATH OpenOpenAlexFDO

Authors Jānis Cīrulis, Ivan Chajda

Publication date 25 April 2017

Published in Acta Scientiarum Mathematicarum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actasm-015-813-6

zbMATH Keywords

orthomodular latticeaxiom systemalgebraizable logicorthomodular implication algebralogic of quantum mechanicsderivation ruleweak BCK-algebraDishkant implicationsemi-orthomodular lattice

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1471993
• scientific article; zbMATH DE number 150217
• scientific article; zbMATH DE number 4055618
• Orthomodular implication algebras
• A lattice of implicative extensions of regular Kleene's logics
• Simple axioms for orthomodular implication algebras
• The implication logic of (n,k)-extremal lattices
• Lattice-valued modal propositional logic based on M-lattice implication algebras
• scientific article; zbMATH DE number 5046779
• scientific article; zbMATH DE number 3957057

Cited in

(12)

• An implication in orthologic
• \(L\)-algebras and three main non-classical logics
• The axioms for implication in orthologic
• On when a semantics is not a good semantics: the algebraisation of orthomodular logic
• A schematic extension of IMTL-logic algebras
• The logic of orthomodular posets of finite height
• Sequent Calculi for Orthologic with Strict Implication
• Orthomodular implication algebras
• scientific article; zbMATH DE number 1790849 (Why is no real title available?)
• Systems of quantum logic
• Simple axioms for orthomodular implication algebras
• A double deduction system for quantum logic based on natural deduction

This page was built for publication: An implicational logic for orthomodular lattices

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