Naïve comprehension and contracting implications

DOI10.1023/A:1016391109231MaRDI QIDQ1611254zbMATH OpenFDO

Authors Susan Rogerson, Sam Butchart

Publication date 21 August 2002

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

contractionnonclassical logicpurely implicational logicsRestall's conjecturenaïve comprehension

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A note on contraction-free logic for validity
• Naive structure, contraction and paradox
• Curry's paradox in contractionless constructive logic
• Logic without contraction as based on inclusion and unrestricted abstraction
• How to be really contraction free

Cited in

(13)

• Routes to triviality
• Logical consequence and the paradoxes
• Naive \textit{modus ponens}
• Variations on a theme of Curry
• Curry's paradox and \(\omega \)-inconsistency
• Natural deduction and Curry's paradox
• Non-conditional contracting connectives
• A note on contraction-free logic for validity
• Extensionality and restriction in naive set theory
• 2004 Annual Conference of the Australasian Association for Logic
• Naive structure, contraction and paradox
• How to be really contraction free
• Weight of the comprehension axiom in a theory based on logic without contractions

This page was built for publication: Naïve comprehension and contracting implications

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