Author： Kamide Norihiro
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.80, Iss.2-3, 2005-08, pp. : 265-289
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
Grazer Philosophische Studien, Vol. 72, Iss. 1, 2006-01 ,pp. :
Access to resources
Recommend
By von Plato J.
Synthese, Vol. 137, Iss. 1-2, 2003-11 ,pp. :
Gentzen Calculi for the Existence Predicate
By Baaz Matthias Iemhoff Rosalie
Studia Logica, Vol. 82, Iss. 1, 2006-02 ,pp. :
Protoalgebraic Gentzen Systems and the Cut Rule
Studia Logica, Vol. 65, Iss. 1, 2000-06 ,pp. :
Bounded Contraction and Gentzen-style Formulation of Łukasiewicz Logics
By Prijatelj A.
Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. :