1. State hoops;Mathematica Slovaca;2017-02-01
2. Algorithms and computations for (m,n)-fold p-ideals in BCI-algebras;Journal of Applied Logic;2010-03
3. Algorithms and computations for foldedness of P-ideals in BCI-algebras;Journal of Applied Logic;2008-12
4. On axioms of Boolean algebra;Proceedings of the Japan Academy, Series A, Mathematical Sciences;1972-01-01
5. On axiom systems of propositional calculi, XXII;Proceedings of the Japan Academy, Series A, Mathematical Sciences;1966-01-01