Relational proof system for linear and other substructural logics

DOI10.1093/jigpal/5.5.673zbMath0889.03046OpenAlexW2044160264MaRDI QIDQ4357322

Wendy MacCaull

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

zbMATH Keywords

relational semanticsLambek calculusKripke semanticsstructural rulesintuitionistic substructural logicsrelational proof systemcountermodellinear logic with exponentials

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Gentzen-type calculi for involutive quantales ⋮ Rasiowa-Sikorski deduction systems in computer science applications.

This page was built for publication: Relational proof system for linear and other substructural logics