Proceedings of the Japan Academy

An algebra related with a propositional calculus

Kiyoshi Iséki

Full-text: Open access

Article information

Source
Proc. Japan Acad., Volume 42, Number 1 (1966), 26-29.

Dates
First available in Project Euclid: 20 November 2007

Permanent link to this document
https://projecteuclid.org/euclid.pja/1195522171

Digital Object Identifier
doi:10.3792/pja/1195522171

Mathematical Reviews number (MathSciNet)
MR0202571

Zentralblatt MATH identifier
0207.29304

Subjects
Primary: 02.42

Citation

Iséki, Kiyoshi. An algebra related with a propositional calculus. Proc. Japan Acad. 42 (1966), no. 1, 26--29. doi:10.3792/pja/1195522171. https://projecteuclid.org/euclid.pja/1195522171


Export citation

References

  • [1] K. Iseki: Algebraic formulations of propositional calculi. Proc. Japan Acad., 41, 803-807 (1965).
  • [2] Y. Imai and K. Iselri: On axiom systems of propositional calculi. XIV. Proc. Japan Acad., 42, 19-22 (1966).
  • [3] J. Lukasiewicz: Elements of Mathematical Logic. Oxford (1963).
  • [4] A. N. Prior: Formal Logic. Oxford (1963).
  • [5] B. Sobocinski: Axiomatization of a partial system of three value calculus of propositions. Jour, of Computing Systems., 1, 23-55 (1952).