Author： Aitken Wayne Barrett Jeffrey A.
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.33, Iss.6, 2004-12, pp. : 631-637
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Curry's Paradox and ω -Inconsistency
By Bacon Andrew
Studia Logica, Vol. 101, Iss. 1, 2013-02 ,pp. :
Access to resources
Recommend
Natural Deduction and Curry's Paradox
Journal of Philosophical Logic, Vol. 36, Iss. 2, 2007-04 ,pp. :
Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance
Studia Logica, Vol. 102, Iss. 1, 2014-02 ,pp. :
Curry's philosophy of formal systems
By Meyer Robert
Australasian Journal of Philosophy, Vol. 65, Iss. 2, 1987-06 ,pp. :
Curry-Howard Terms for Linear Logic
By Bäuerle F.A. Albrecht D. Crossley J.N. Jeavons J.S.
Studia Logica, Vol. 61, Iss. 2, 1998-09 ,pp. :