Implicative Algebras

Venkateswarlu Kolluru; Berhanu Bekele

Implicative Algebras

Authors

Venkateswarlu Kolluru Addis Ababa University Author
Berhanu Bekele Mekelle University Author

Keywords:

Implicative algebra, lattice implication algebras, Autometrized Algebras, regular Autometrized Algebras

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.