Bounded sequent calculi for non-classical logics via hypersequents

DOI10.1007/978-3-030-29026-9_6MaRDI QIDQ2180510zbMATH OpenOpenAlexFDO

Authors Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Publication date 14 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-29026-9_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Proof analysis in non-classical logics
• From Frame Properties to Hypersequent Rules in Modal Logics
• Hypersequent rules with restricted contexts for propositional modal logics
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• scientific article; zbMATH DE number 956466

Cited in

(15)

• Proof analysis in non-classical logics
• Syntactic Completeness of Proper Display Calculi
• Bunched hypersequent calculi for distributive substructural logics
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Rooted hypersequent calculus for modal logic \textsf{S5}
• Proof theory of Riesz spaces and modal Riesz spaces
• Hypersequent Calculi for Godel Logics -- a Survey
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• Hypersequent rules with restricted contexts for propositional modal logics
• One-step Heyting algebras and hypersequent calculi with the bounded proof property
• Extended Kripke lemma and decidability for hypersequent substructural logics
• Proof theory. Sequent calculi and related formalisms
• Axioms vs hypersequent rules with context restrictions: theory and applications

This page was built for publication: Bounded sequent calculi for non-classical logics via hypersequents

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