[2] Y. ltnai, K. Iseki: On axiom system of prepositional calculus. Proc. Japan Acad. 1,2 (1966), 19-22.
[3] S.C. Lee, A. Kandel:
Fuzzy Switching and Automata: Theory and Applications. Crane, Russak, New York 1978.
MR 0525199
[4] Q. Hu:
BCI-algebra. Shanxi Science Technology Press, China 1987.
Zbl 0675.06013
[5] G. Birkhoff:
Lattice Theory. Third edition. American Mathematical Society College Publications, Providence, R.L 1967.
MR 0227053 |
Zbl 0153.02501