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)

Full work available at URL https://doi.org/10.1023/A:1016391109231

zbMATH Keywords

contractionnaïve comprehensionnonclassical logicpurely implicational logicsRestall's conjecture

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)

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

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)