Sequent Calculi for Orthologic with Strict Implication

DOI10.18778/0138-0680.2021.22MaRDI QIDQ6162079zbMATH OpenOpenAlexFDO

Authors Tomoaki Kawano

Publication date 15 June 2023

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2021.22

zbMATH Keywords

completeness theoremimplicationorthologicquantum logicsequent calculus

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12)

Recommendations

• Labeled Sequent Calculus for Orthologic
• Sequent Calculi for Some Strict Implication Logics
• Proof theory for minimal quantum logic. I
• Focusing in orthologic
• Focusing in Orthologic

Cites work

• A propositional logic with explicit fixed points
• Advanced Kripke frame for quantum logic
• An implication in orthologic
• An implicational logic for orthomodular lattices
• Gentzen calculi for modal propositional logic
• Handbook of philosophical logic. Vol. 8
• How to introduce the connective implication in orthomodular posets
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 6416998 (Why is no real title available?)
• Hypersequent calculi for S5: the methods of cut elimination
• Implication connectives in orthomodular lattices
• Labeled Sequent Calculus for Orthologic
• Material implications in orthomodular (and Boolean) lattices
• Operational meanings of orders of observables defined through quantum set theories with different conditionals
• Orthoimplication algebras
• Orthomodular implication algebras
• Orthomodular lattices can be converted into left residuated l-groupoids
• Proof theory for minimal quantum logic. I
• Proof theory for minimal quantum logic. II
• Quantum logic as an implication algebra
• Quasi-implication algebras. I: Elementary theory
• Quasi-implication algebras. II: Structure theory
• Residuation in orthomodular lattices
• Sequent calculi for Visser's propositional logics
• Sequential method in quantum logic
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• The axioms for implication in orthologic
• The logic of quantum mechanics
• Two is enough -- bisequent calculus for S5

Cited in

(4)

• Herzberger's limit rule with labelled sequent calculus
• Consistent disjunctive sequent calculi and Scott domains
• Labeled Sequent Calculus for Orthologic
• Nested-sequent calculus for modal logic \textbf{MB}

This page was built for publication: Sequent Calculi for Orthologic with Strict Implication

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