Unified correspondence and proof theory for strict implication
From MaRDI portal
Publication:2983401
DOI10.1093/logcom/exw012zbMath1444.03082arXiv1604.08822OpenAlexW2344102368MaRDI QIDQ2983401
Publication date: 17 May 2017
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1604.08822
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)
Related Items (5)
Residuated expansions of lattice-ordered structures ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
This page was built for publication: Unified correspondence and proof theory for strict implication