Author： Miller Nathaniel
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.35, Iss.3, 2006-06, pp. : 289-291
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
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric
By Gentilini P.
Studia Logica, Vol. 63, Iss. 1, 1999-07 ,pp. :
Access to resources
Recommend
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof
Studia Logica, Vol. 63, Iss. 3, 1999-11 ,pp. :
A Completeness Proof for a Logic with an Alternative Necessity Operator
By demri S.
Studia Logica, Vol. 58, Iss. 1, 1997-01 ,pp. :
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. :
A Proof System for Classical Logic
By Pogorzelski Witold Wojtylak Piotr
Studia Logica, Vol. 80, Iss. 1, 2005-06 ,pp. :