Dual-context sequent calculus and strict implication

DOI10.1002/1521-3870(200201)48:1%3C87::AID-MALQ87%3E3.0.CO;2-NzbMATH Open0988.03085MaRDI QIDQ2776812FDOQ2776812

Authors: Kentaro Kikuchi 

Publication date: 22 July 2002

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

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

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)

Cites Work

• Title not available (Why is that?)

Cited In (8)

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

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)