Sequent Calculi for Some Strict Implication Logics

DOI10.1093/JIGPAL/JZM058MaRDI QIDQ5460206zbMATH OpenOpenAlexFDO

Authors Ryo Ishigaki, Ryo Kashima

Publication date 5 May 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzm058

zbMATH Keywords

completeness theoremKripke modelssequent calculusstrict implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Dual-context sequent calculus and strict implication
• Pure strict implication logics
• Weak Logics with Strict Implication
• Cut elimination theorems and a canonical model construction for some implicational substructural logics
• Substructural implicational logics including the relevant logic E

Cited in

(27)

• Natural deduction based upon strict implication for normal modal logics
• Constructive embedding from extensions of logics of strict implication into modal logics
• Sequent calculi for Visser's propositional logics
• Sequent calculi for choice logics
• Two remarks on strictly implicative formulas in modal logic S3
• scientific article; zbMATH DE number 2170850 (Why is no real title available?)
• Lyndon's interpolation property for the logic of strict implication
• Wright's strict finitistic logic in the classical metatheory: the propositional case
• Pure strict implication logics
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Sequent calculi for \(\mathsf{SCI}\)
• scientific article; zbMATH DE number 2058984 (Why is no real title available?)
• A strict implication calculus for compact Hausdorff spaces
• Weak Logics with Strict Implication
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Sequent Calculi for Orthologic with Strict Implication
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• Unified correspondence and proof theory for strict implication
• Consistent disjunctive sequent calculi and Scott domains
• Super-strict implications
• Labelled sequent calculi for logics of strict implication
• Complexity of strict implication
• Dual-context sequent calculus and strict implication
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Substructural implicational logics including the relevant logic E
• A sequent calculus for a logic of contingencies
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus

This page was built for publication: Sequent Calculi for Some Strict Implication Logics

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