Author： Rogerson Susan
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.36, Iss.2, 2007-04, pp. : 155-179
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
Computer Implication and the Curry Paradox
By Aitken Wayne Barrett Jeffrey A.
Journal of Philosophical Logic, Vol. 33, Iss. 6, 2004-12 ,pp. :
A Brief History of Natural Deduction
History and Philosophy of Logic, Vol. 20, Iss. 1, 1999-03 ,pp. :
Automated Natural Deduction in Thinker
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :
Semantic Values for Natural Deduction Derivations
Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. :