Algebraic formulations of propositional calculi
Kiyoshi Iséki
Source: Proc. Japan Acad. Volume 41, Number 9
(1965), 803-807.
First Page:
Show
Hide
Primary Subjects:
02.42
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pja/1195522251
Mathematical Reviews number (MathSciNet): MR0197286
Zentralblatt MATH identifier: 0143.00603
Digital Object Identifier: doi:10.3792/pja/1195522251
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] Y. Arai and K. Iseki: On axiom systems of propositional calculi. VII. Proc. Japan Acad., 41, 667-669 (1965).
Mathematical Reviews (MathSciNet): MR197285
Zentralblatt MATH: 0156.24807
Digital Object Identifier: doi:10.3792/pja/1195522290
Project Euclid: euclid.pja/1195522290
[3] L. Henkin: An algebraic characterization of quantifiers. Fund. Math., 37, 63-74 (1950).
Mathematical Reviews (MathSciNet): MR40234
Zentralblatt MATH: 0041.34804
Proceedings of the Japan Academy
