[II] IMAI Y.-ISEKI K.:
On axiom systems of propositional calculi XIV. Proc. Japan Acad. Ser. A Math. Sci. 42 (1966), 19-22.
MR 0195704 |
Zbl 0156.24812
[Isl] ISÉKI K.:
An algebra related with a propositional calculus. Proc. Japan Acad. Ser. A Math. Sci. 42 (1966), 26-29.
MR 0202571 |
Zbl 0207.29304
[IT2] ISÉKI K.-TANAKA S.:
An introduction to the theory of BCK-algebras. Math. Japon. 23 (1978), 1-26.
MR 0500283 |
Zbl 0385.03051