Author： Pelletier F.J.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.60, Iss.1, 1998-01, pp. : 3-43
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
A Brief History of Natural Deduction
History and Philosophy of Logic, Vol. 20, Iss. 1, 1999-03 ,pp. :
Access to resources
Recommend
Natural Deduction and Curry's Paradox
Journal of Philosophical Logic, Vol. 36, Iss. 2, 2007-04 ,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. :