Relational proof system for linear and other substructural logics
From MaRDI portal
Publication:4357322
DOI10.1093/jigpal/5.5.673zbMath0889.03046MaRDI QIDQ4357322
Publication date: 14 June 1998
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/cf9b177ec46669fec2f57ea5f3d4f9019546e03b
relational semantics; Lambek calculus; Kripke semantics; structural rules; intuitionistic substructural logics; relational proof system; countermodel; linear logic with exponentials
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Rasiowa-Sikorski deduction systems in computer science applications., Gentzen-type calculi for involutive quantales