Computer implication and the Curry paradox
From MaRDI portal
Publication:704044
DOI10.1023/B:LOGI.0000046077.72722.61zbMath1064.03005MaRDI QIDQ704044
Jeffrey A. Barrett, Wayne Aitken
Publication date: 12 January 2005
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Undecidability and degrees of sets of sentences (03D35) Mechanization of proofs and logical operations (03B35)
Related Items (4)
Stability and paradox in algorithmic logic ⋮ Abstraction in algorithmic logic ⋮ Variations on a theme of Curry ⋮ Abstraction in Fitch's Basic Logic
Cites Work
This page was built for publication: Computer implication and the Curry paradox
