An implicational logic for orthomodular lattices
DOI10.14232/ACTASM-015-813-6zbMATH Open1399.03024OpenAlexW2556610688MaRDI QIDQ2979435FDOQ2979435
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
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
orthomodular latticeaxiom systemalgebraizable logicorthomodular implication algebralogic of quantum mechanicsderivation ruleweak BCK-algebraDishkant implicationsemi-orthomodular lattice
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)
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
- Title not available (Why is that?)
- 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)
