Labeled Sequent Calculus for Orthologic

DOI10.18778/0138-0680.47.4.01MaRDI QIDQ5742614zbMATH OpenOpenAlexFDO

Authors Tomoaki Kawano

Publication date 15 May 2019

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.47.4.01

zbMATH Keywords

cut-elimination theoremdecidabilityKripke modelquantum logicsequent calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12)

Recommendations

• Labelled sequent calculus for inquisitive logic
• Sequent Calculi for Orthologic with Strict Implication
• Labeled sequent calculus for justification logics
• Labelled sequent calculi for logics of strict implication
• A multi-labelled sequent calculus for topo-logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• Labeled sequent calculi for modal logics and implicit contractions
• A labelled sequent calculus for half-order modal logic
• Hypersequent and labelled calculi for intermediate logics
• scientific article; zbMATH DE number 1223614

Cited in

(6)

• Herzberger's limit rule with labelled sequent calculus
• Embedding classical logic into basic orthologic with a primitive modality
• Automated Reasoning with Analytic Tableaux and Related Methods
• Focusing in orthologic
• Sequent Calculi for Orthologic with Strict Implication
• Nested-sequent calculus for modal logic \textbf{MB}

This page was built for publication: Labeled Sequent Calculus for Orthologic

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