Dual-context sequent calculus and strict implication

DOI10.1002/1521-3870(200201)48:1%3C87::AID-MALQ87%3E3.0.CO;2-NMaRDI QIDQ2776812zbMATH OpenFDO

Authors Kentaro Kikuchi

Publication date 22 July 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

zbMATH Keywords

completenessmodal logicKripke semanticscut-eliminationstrict implicationdual-context sequent calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Sequent Calculi for Some Strict Implication Logics
• A cut-free Gentzen formulation of basic propositional calculus
• scientific article; zbMATH DE number 7297837
• Modal sequents for normal modal logics
• Natural deduction based upon strict implication for normal modal logics

Cited in

(8)

• Dual gaggle semantics for entailment
• A cut-free Gentzen formulation of basic propositional calculus
• Unified correspondence and proof theory for strict implication
• Esakia style duality for implicative semilattices
• Sequent Calculi for Some Strict Implication Logics
• A strict implication calculus for compact Hausdorff spaces
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• scientific article; zbMATH DE number 7297837 (Why is no real title available?)

This page was built for publication: Dual-context sequent calculus and strict implication

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