Logic without contraction as based on inclusion and unrestricted abstraction

DOI10.1023/A:1005293713265zbMath0954.03023MaRDI QIDQ1577364

Uwe Petersen

Publication date: 14 February 2001

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

contraction free logic; foundation of the notion of natural number; type free logic; unrestricted abstraction

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Stability and paradox in algorithmic logic, Extensionality and restriction in naive set theory, Variations on a theme of Curry, REPLY TO BJØRDAL, On contraction and the modal fragment, TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY