On axiom systems of propositional calculi, X
Kiyoshi Iséki and Shôtarô Tanaka
Source: Proc. Japan Acad. Volume 41, Number 9
(1965), 801-802.
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/1195522250
Mathematical Reviews number (MathSciNet): MR0195700
Zentralblatt MATH identifier: 0156.24808
Digital Object Identifier: doi:10.3792/pja/1195522250
References
[1] 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
[2] K. Iseki: Algebraic formulations of propositional calculi. Proc. Japan Acad., 41, 803-807 (1965).
Mathematical Reviews (MathSciNet): MR197286
Zentralblatt MATH: 0143.00603
Digital Object Identifier: doi:10.3792/pja/1195522251
Project Euclid: euclid.pja/1195522251
Proceedings of the Japan Academy
