Embedding the hypersequent calculus in the display calculus
From MaRDI portal
Publication:5262490
DOI10.1093/logcom/exu061zbMath1348.03054OpenAlexW2155634961MaRDI QIDQ5262490
Publication date: 15 July 2015
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exu061
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) 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 (8)
Power and Limits of Structural Display Rules ⋮ Compositional meaning in logic ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Disentangling structural connectives or life without display property ⋮ Hypersequent and display calculi -- a unified perspective ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Unnamed Item
This page was built for publication: Embedding the hypersequent calculus in the display calculus
