Publisher： Cambridge University Press
E-ISSN： 1943-5886|48|1|1-20
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.48, Iss.1, 1983-03, pp. : 1-20
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
Relational proof system for relevant logics
The Journal of Symbolic Logic, Vol. 57, Iss. 4, 1992-12 ,pp. :
Access to resources
Recommend
A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
The Journal of Symbolic Logic, Vol. 80, Iss. 1, 2015-03 ,pp. :
A cut-free Gentzen-type system for the modal logic S5
The Journal of Symbolic Logic, Vol. 45, Iss. 1, 1980-03 ,pp. :
Gentzen's Proof of Normalization for Natural Deduction
Bulletin of Symbolic Logic, Vol. 14, Iss. 2, 2008-06 ,pp. :
Many-valued logics of extended Gentzen style II
The Journal of Symbolic Logic, Vol. 35, Iss. 4, 1970-12 ,pp. :