Author: Yashin A.D.
Publisher: Springer Publishing Company
ISSN: 0022-3611
Source: Journal of Philosophical Logic, Vol.28, Iss.2, 1999-04, pp. : 175-197
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
New Intuitionistic Logical Constants and Novikov Completeness
Studia Logica, Vol. 63, Iss. 2, 1999-09 ,pp. :
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'
Studia Logica, Vol. 66, Iss. 3, 2000-12 ,pp. :
An Intuitionistic Completeness Theorem for Classical Predicate Logic
Studia Logica, Vol. 96, Iss. 1, 2010-10 ,pp. :