Author: Jenei S. Montagna F.
Publisher: Springer Publishing Company
ISSN: 0039-3215
Source: Studia Logica, Vol.70, Iss.2, 2002-03, pp. : 183-192
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 Completeness Proof for a Logic with an Alternative Necessity Operator
By demri S.
Studia Logica, Vol. 58, Iss. 1, 1997-01 ,pp. :
By Negri Sara
Journal of Philosophical Logic, Vol. 34, Iss. 5-6, 2005-10 ,pp. :
A Proof System for Classical Logic
By Pogorzelski Witold Wojtylak Piotr
Studia Logica, Vol. 80, Iss. 1, 2005-06 ,pp. :
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof
Studia Logica, Vol. 63, Iss. 3, 1999-11 ,pp. :