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

Section
Articles

Journal Identifiers


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