1. BCK-algebras and their corresponding logics;Bunder;J. Non-Class. Logic,1983
2. On the lattice of deductive systems of BL-algebras;Dumitru;CEJM,2003
3. An algebra related with a propositional calculus;Iséki;Proc. Japan Acad.,1966
4. On axiom systems of propositional calculi. XXI;Iséki;Proc. Japan Acad.,1966
5. On BCI-algebras;Iséki;Math. Sem. Notes,1980