Author： delmas-Rigoutsos Y.
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.26, Iss.1, 1997-02, pp. : 57-67
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
Natural Deduction for First-Order Hybrid Logic
Journal of Logic, Language and Information, Vol. 14, Iss. 2, 2005-03 ,pp. :
Normal Natural Deduction Proofs (in classical logic)
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :
A Brief History of Natural Deduction
History and Philosophy of Logic, Vol. 20, Iss. 1, 1999-03 ,pp. :