Author： Mints G.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.60, Iss.1, 1998-01, pp. : 209-231
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 Labelled Natural Deduction System for Linear Temporal Logic
Studia Logica, Vol. 75, Iss. 3, 2003-12 ,pp. :
Access to resources
Recommend
A Brief History of Natural Deduction
History and Philosophy of Logic, Vol. 20, Iss. 1, 1999-03 ,pp. :
Natural Deduction and Curry's Paradox
Journal of Philosophical Logic, Vol. 36, Iss. 2, 2007-04 ,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. :