Formulas for which contraction is admissible

DOI10.1093/jigpal/6.1.43zbMath0893.03018OpenAlexW2005479969MaRDI QIDQ4380445

Arnon Avron

Publication date: 20 July 1998

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/5356383c5ac4b3f7e3b62dce141e1c18468f0383

zbMATH Keywords

linear logicsubstructural logicscontraction propertyGentzen-type systems

Mathematics Subject Classification ID

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

Related Items

Variations on a theme of Curry