Implicative Algebras
Venkateswarlu Kolluru, B Bekele · Momona Ethiopian Journal of Science · 2012
In this paper we introduce the concept of implicative algebras which is an equivalent definition of lattice implication algebra of Xu (1993) and further we prove that it is a regular Autometrized Algebra. Further we remark that the binary operation → on lattice implicative algebra can never be associative.Keywords: Implicative algebra, lattice implication algebras, Autometrized Algebras, regular Autometrized Algebras