Formulas for which contraction is admissible

DOI10.1093/JIGPAL/6.1.43MaRDI QIDQ4380445zbMATH OpenOpenAlexFDO

Authors Arnon Avron

Publication date 20 July 1998

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

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

zbMATH Keywords

contraction propertyGentzen-type systemslinear logicsubstructural logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1076112
• Normal forms for non-uniform contractions
• scientific article; zbMATH DE number 3964783
• scientific article; zbMATH DE number 1923125
• Contraction formulas for the Kirchhoff and Wiener indices
• scientific article; zbMATH DE number 2234940
• Factorizations of contractions
• scientific article; zbMATH DE number 996912
• scientific article; zbMATH DE number 6806026
• Generalized contractions and applications

Cited in

(3)

• Connectification for n-contraction
• Variations on a theme of Curry
• Saturated formulas in full linear logic

This page was built for publication: Formulas for which contraction is admissible

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4380445)