1. Short Sheffer Stroke-Based Single Axiom for Boolean Algebras;Formalized Mathematics,1975
2. Bounded lattices with antitone involutions and properties of MV-algebras;Discussiones Mathematicae, General Algebra and Applications,2004
3. Lattice Theory;Proc. Amer. Math. Soc. Providence, R. I,1967
4. Quantum and classical implication algebras with primitive implications;International Journal of Theoretical Physics,1998
5. An implication in orthologic;International Journal of Theoretical Physics,2005