Bounded sequent calculi for non-classical logics via hypersequents
From MaRDI portal
Publication:2180510
DOI10.1007/978-3-030-29026-9_6zbMath1468.03021OpenAlexW2969635640MaRDI QIDQ2180510
Revantha Ramanayake, Timo Lang, Agata Ciabattoni
Publication date: 14 May 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-29026-9_6
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Syntactic Completeness of Proper Display Calculi, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, Unnamed Item