[1] HAO J.:
A theorem for estimating the number of subalgebras in a finite BCK-algebra. Kobe J. Math. 3 (1986), 51-59.
MR 0867802 |
Zbl 0628.03040
[4] IMAI Y.-ISÉKI K.:
On axiom systems of propositional calculi XIV. Proc. Japan Acad. Ser. A Math. Sci. 42 (1966), 19-22.
MR 0195704 |
Zbl 0156.24812
[5] 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
[8] ISÉKI K.-TANAKA S.:
An introduction to the theory of BCK-algebras. Math. Japon. 23 (1978), 1-26.
MR 0500283 |
Zbl 0385.03051
[9] NEGGERS J.-JUN, YOUNG BAE-KIM, HEE SIK:
On d-ideals in d-algebras. Math. Slovaca (To appear).
MR 1728235