Author： Negri S.
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.31, Iss.6, 2002-12, pp. : 569-590
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
The Classification of Propositional Calculi
Studia Logica, Vol. 66, Iss. 2, 2000-11 ,pp. :
Access to resources
Recommend
Gentzen Calculi for the Existence Predicate
By Baaz Matthias Iemhoff Rosalie
Studia Logica, Vol. 82, Iss. 1, 2006-02 ,pp. :
Studia Logica, Vol. 62, Iss. 2, 1999-03 ,pp. :
Semantics for Dual and Symmetric Combinatory Calculi
Journal of Philosophical Logic, Vol. 33, Iss. 2, 2004-04 ,pp. :
Connection Tableau Calculi with Disjunctive Constraints
By Ibens O.
Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. :