1. Abbott, J.C.: Implicational algebras. Bull. Math. R. S. Roumaine 11(1), 3–23 (1967)
2. Abbott, J.C.: Semi-boolean algebra. Matematički Vesnik 4(40), 177–198 (1967)
3. Araújo, J., Kinyon, M.: Independent axiom systems for nearlattices. Czech. Math. J. 61(4), 975–992 (2011)
4. Blok, W.J., Pigozzi, D.: Protoalgebraic logics. Stud. Logica. 45(4), 337–369 (1986)
5. Blok, W.J., Pigozzi, D.: Algebraizable Logics, vol. 77. American Mathematical Society, Providence (1989)