Proof Theory for Casari's Comparative Logics

DOI10.1093/logcom/exl001zbMath1113.03019OpenAlexW2079375603MaRDI QIDQ3411997

George Metcalfe

Publication date: 4 December 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exl001

zbMATH Keywords

comparative logiccomparative reasoning

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Integrally closed residuated lattices ⋮ Proof theory for lattice-ordered groups ⋮ Expanding the Realm of Systematic Proof Theory