On axiom systems of propositional calculi, V
Kiyoshi Iséki and Shôtarô Tanaka
Source: Proc. Japan Acad. Volume 41, Number 8
(1965), 661-662.
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/1195522288
Mathematical Reviews number (MathSciNet): MR0197283
Zentralblatt MATH identifier: 0156.24805
Digital Object Identifier: doi:10.3792/pja/1195522288
References
[1] Y. Arai: On axiom systems of propositional calculi. II. Proc. Japan Acad., 41, 440-442 (1965).
Mathematical Reviews (MathSciNet): MR184843
Zentralblatt MATH: 0223.02008
Digital Object Identifier: doi:10.3792/pja/1195522379
Project Euclid: euclid.pja/1195522379
[2] 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
[3] Y. Imai and K. Iseki: On axiom systems of 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] K. Is6ki: On axiom systems of propositional calculi. IV. Proc. Japan Acad., 41, 575-577 (1965).
Mathematical Reviews (MathSciNet): MR197282
Zentralblatt MATH: 0156.24804
Digital Object Identifier: doi:10.3792/pja/1195522343
Project Euclid: euclid.pja/1195522343
Proceedings of the Japan Academy
