Author： Pelletier F.J.
Publisher： Taylor & Francis Ltd
ISSN： 1464-5149
Source： History and Philosophy of Logic, Vol.20, Iss.1, 1999-03, pp. : 1-31
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
Natural Deduction and Curry's Paradox
Journal of Philosophical Logic, Vol. 36, Iss. 2, 2007-04 ,pp. :
Access to resources
Recommend
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. :
Linear Lambda-Terms and Natural Deduction
By Mints G.
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :
Natural Deduction for Non-Classical Logics
By Basin D. Matthews S. Viganò L.
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :