Publisher： Cambridge University Press
E-ISSN： 1943-5886|5|3|104-109
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.5, Iss.3, 1940-09, pp. : 104-109
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
Classification of Novikov Complete Logics with Extra Logical Constants
By Yashin A.D.
Algebra and Logic, Vol. 42, Iss. 3, 2003-05 ,pp. :
Access to resources
Recommend
Postulates for the calculus of binary relations
The Journal of Symbolic Logic, Vol. 5, Iss. 3, 1940-09 ,pp. :
Postulates for implicational calculi
The Journal of Symbolic Logic, Vol. 31, Iss. 1, 1966-03 ,pp. :
Frege's Theorem and the Peano Postulates
Bulletin of Symbolic Logic, Vol. 1, Iss. 3, 1995-09 ,pp. :
New sets of postulates for combinatory logics
The Journal of Symbolic Logic, Vol. 7, Iss. 1, 1942-03 ,pp. :