Sequent Calculi for Orthologic with Strict Implication
From MaRDI portal
Publication:6162079
DOI10.18778/0138-0680.2021.22zbMath1525.03114OpenAlexW3213415915MaRDI QIDQ6162079
Publication date: 15 June 2023
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.2021.22
Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Unnamed Item
- Unnamed Item
- Handbook of philosophical logic. Vol. 8
- Gentzen calculi for modal propositional logic
- Material implications in orthomodular (and Boolean) lattices
- A propositional logic with explicit fixed points
- Quasi-implication algebras. I: Elementary theory
- Quasi-implication algebras. II: Structure theory
- Orthoimplication algebras
- Proof theory for minimal quantum logic. I
- Proof theory for minimal quantum logic. II
- Sequent calculi for Visser's propositional logics
- Advanced Kripke frame for quantum logic
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- Two is enough -- bisequent calculus for S5
- Residuation in orthomodular lattices
- An implication in orthologic
- Implication connectives in orthomodular lattices
- The logic of quantum mechanics
- An implicational logic for orthomodular lattices
- Hypersequent Calculi for S5: The Methods of Cut Elimination
- The axioms for implication in orthologic
- Sequential method in quantum logic
- Orthomodular lattices can be converted into left residuated l-groupoids
- How to introduce the connective implication in orthomodular posets
- Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals
- Quantum logic as an implication algebra
- Labeled Sequent Calculus for Orthologic
- Orthomodular implication algebras
This page was built for publication: Sequent Calculi for Orthologic with Strict Implication
