[1] R. Balbes, P.H. Dwinger, Distributive lattices, University of Missouri Press, Columbia, 1974.
[2] B.A. Bernstein, A set of four postulates for Boolean algebras in terms of the implicative operation,
Transactions of the American Mathematical Society, 36 (1934), 876{884.
[3] G. Birkho , Lattice theory, Second ed., American Mathematical Society Colloquium Publications, 25,
American Mathematical Society, Providence, R.I., 1948.
[4] R.A. Borzooei, M. A. Kologani, Results on hoops, Journal of Hyper Algebraic Structures and Logical
algebras, 1(1) (2020), 61-77.
[5] S. Burris, H.P. Sankappanavar, A course in universal algebra, Springer-Verlag, New York, 1981.
[6] D. Busneag, D. Piciu, M. Istrata, The Belluce lattice associated with a bounded BCK-algebra, Journal
of Hyper Algebraic Structures and Logical algebras, 2(1) (2021), 1-16.
[7] J.M. Cornejo, H.P. Sankappanavar, Order in implication zroupoids, Studia Logica, 104(3) (2016), 417{
453.
[8] J.M. Cornejo, H.P. Sankappanavar, Semisimple varieties of implication zroupoids, Soft Computing,
20(3) (2016), 3139{3151.
[9] J.M. Cornejo, H.P. Sankappanavar, On implicator groupoids, Algebra Universalis, 77(2) (2017), 125{
146.
[10] J.M. Cornejo, H.P. Sankappanavar, On derived algebras and subvarieties of implication zroupoids, Soft
Computing, 21(23) (2017), 6963{6982.
[11] J.M. Cornejo, H.P. Sankappanavar, Symmetric implication zroupoids and identities of Bol-Moufang
type, Soft Computing, 22 (2018), 4319{4333.
[12] J.M. Cornejo, H.P. Sankappanavar, Implication zroupoids and identities of associative type, Quasigroups
and Related Systems, 26 (2018), 13{34.
[13] J.M. Cornejo, H.P. Sankappanavar, Symmetric implication zroupoids and weak associative identities,
Soft Computing, 23(6) (2019), 6797{6812.
[14] J.M. Cornejo, H.P. Sankappanavar, Semi-distributivity and whitman property in implication Zroupoids,
Mathematica Slovaka, (2021), 10 pages.
[15] S.V. Gusev, H.P. Sankappanavar, B.M. Vernikov, Implication semigroups, Order, 37 (2020), 1{7.
[16] J. Harding, A. Romanowska, Varieties of Birkho systems, Part I, Order, 34 (2017), 45{68.
[17] W. McCune, Prover 9 and Mace 4, (2005-2010). http://www.cs.unm.edu/mccune/prover9/
[18] J. Plonka, On distributive quasilattices, Fundamenta Mathematicae, 60 (1967), 191{200
[19] H. Rasiowa, An algebraic approach to non-classical logics, North{Holland, Amsterdam, 1974.
[20] H.P. Sankappanavar, De Morgan algebras: New perspectives and applications, Scientia Mathematicae
Japonicae, 75(1) (2012), 21{50.