Implicative Algebras

  • V Kolluru
  • B Bekele


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


Journal Identifiers

eISSN: 2220-184X
print ISSN: 2073-073X