Author： Krivtsov Victor
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.96, Iss.1, 2010-10, pp. : 109-115
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 Translation of Intuitionistic Predicate Logic into Basic Predicate Logic
By Ardeshir M.
Studia Logica, Vol. 62, Iss. 3, 1999-05 ,pp. :
Access to resources
Recommend
Halldén-Completeness in Super-Intuitionistic Predicate Logics
By Suzuki N-Y.
Studia Logica, Vol. 73, Iss. 1, 2003-02 ,pp. :
Cut Elimination inside a Deep Inference System for Classical Predicate Logic
By Brünnler Kai
Studia Logica, Vol. 82, Iss. 1, 2006-02 ,pp. :