Naïve comprehension and contracting implications

DOI10.1023/A:1016391109231zbMath1003.03026MaRDI QIDQ1611254

Susan Rogerson, Sam Butchart

Publication date: 21 August 2002

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

zbMATH Keywords

contractionnonclassical logicnaïve comprehensionpurely implicational logicsRestall's conjecture

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (8)

Curry's paradox and \(\omega \)-inconsistency ⋮ Non-conditional contracting connectives ⋮ Natural deduction and Curry's paradox ⋮ Logical consequence and the paradoxes ⋮ Extensionality and restriction in naive set theory ⋮ Routes to triviality ⋮ 2004 Annual Conference of the Australasian Association for Logic ⋮ Variations on a theme of Curry

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