PROMOTING ACCESS TO AFRICAN RESEARCH

Momona Ethiopian Journal of Science

Log in or Register to get access to full text downloads.

Remember me or Register



Implicative Algebras

V Kolluru, B Bekele

Abstract


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




http://dx.doi.org/10.4314/mejs.v4i1.74059
AJOL African Journals Online