On axiom systems of propositional calculi, IV
Kiyoshi Iséki
Source: Proc. Japan Acad. Volume 41, Number 7
(1965), 575-577.
First Page:
Show
Hide
Related Works:
Primary Subjects:
02.20
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pja/1195522343
Mathematical Reviews number (MathSciNet): MR0197282
Zentralblatt MATH identifier: 0156.24804
Digital Object Identifier: doi:10.3792/pja/1195522343
References
[1] Y. Arai: On axiom systems of propositional calculi. III. Proc. Japan Acad., 41, 570-574 (1965).
Mathematical Reviews (MathSciNet): MR197281
Zentralblatt MATH: 0156.24803
Digital Object Identifier: doi:10.3792/pja/1195522342
Project Euclid: euclid.pja/1195522342
[2] J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Soc. des Sci. et des lettres de Varsovie. III., 33, 33-160 (1930).
[3] Y. Imai and K. Iseld: On axiom systems propositional calculi. I. Proc. Japan Acad., 41, 436-439 (1965).
Mathematical Reviews (MathSciNet): MR184842
Zentralblatt MATH: 0223.02007
Digital Object Identifier: doi:10.3792/pja/1195522378
Project Euclid: euclid.pja/1195522378
[4] J. Lukasiewicz: Elements of Mathematical Logic. Oxford (1963).
Mathematical Reviews (MathSciNet): MR176909
Zentralblatt MATH: 0126.00705
[5] E. Mendelson: Introduction to Mathematical Logic. Princeton (1964).
Mathematical Reviews (MathSciNet): MR164867
Zentralblatt MATH: 0192.01901
[6] A. A. Mullin: Some Recursive Function Theory and Certain of Its Related Topics (mimeographed note). Illinois (1959).
Mathematical Reviews (MathSciNet): MR150031
Zentralblatt MATH: 0102.25101
Proceedings of the Japan Academy
