Proof systems for super-strict implication

DOI10.1007/S11225-023-10048-3OpenAlexW4379383361MaRDI QIDQ6127190

Guido Gherardi, Eric Raidl, Eugenio Orlandelli

Publication date: 10 April 2024

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-023-10048-3

zbMATH Keywords

completenessdecidabilitystructural proof theoryaxiomatic systemslabelled sequent calculidefinable conditionalssuper-strict implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Proof analysis in modal logic
• Strong Boethius' thesis and consequential implication
• Negation as cancellation, and connexive logic
• Labelled sequent calculi for Lewis' non-normal propositional modal logics
• New foundations for Lewis modal systems
• Super-Strict Implications
• Connexive Variants of Modal Logics Over FDE
• Meaning in Use
• COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof systems for super-strict implication