Curry's paradox in contractionless constructive logic
From MaRDI portal
Publication:1914375
DOI10.1007/BF00247001zbMath0873.03032MaRDI QIDQ1914375
Publication date: 9 June 1996
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
consistencynormal form theoremlogic of constructibe falsity minus the contraction principlenaive abstraction
Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Nonclassical and second-order set theories (03E70)
Related Items (4)
Natural deduction and Curry's paradox ⋮ Tableaux for logic programming with strong negation ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
This page was built for publication: Curry's paradox in contractionless constructive logic
