Labelled sequent calculi for logics of strict implication

MaRDI QIDQ5884968zbMATH OpenFDO

Authors Eugenio Orlandelli, Matteo Tesi

Publication date 24 March 2023

zbMATH Keywords

\textbf{S1}non-normal modalitiessequent calculi cut eliminationstrict implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Sequent Calculi for Some Strict Implication Logics
• Sequent Systems for Lewis’ Conditional Logics
• Labelled sequent calculi for Lewis' non-normal propositional modal logics
• A sequent calculus and a theorem prover for standard conditional logics
• Proof analysis in non-classical logics

Cited in

(6)

• Herzberger's limit rule with labelled sequent calculus
• Labelled sequent calculi for Lewis' non-normal propositional modal logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Labeled Sequent Calculus for Orthologic
• Proof systems for super-strict implication

This page was built for publication: Labelled sequent calculi for logics of strict implication

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