AbstractIn 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
The Momona Ethiopian Journal of Science accepts the manuscripts for consideration with the understanding that the manuscript has not been published and is not under consideration for publication elsewhere. Only original articles will be considered for publication if they have been published previously as abstracts, but not if they have been published previously as extended abstract (>1000 words). This applies to both electronic and print versions of the journal. The authors should assign copyright ownership to the Editorial Office of MEJS in the event that the manuscript is accepted for publication in the Momona Ethiopian Journal of Science. All accepted manuscripts must be accompanied by a copyright statement signed by all authors. A copy of the copyright form will be supplied along with the final reviewed version of the manuscript that is sent for final proof- reading. Authors may make multiple copies of the form if necessary and send to the Editorial Office with author’s signature(s) even individually.
All articles published by Momona Ethiopian Journal of Science (MEJS) are Open Access under the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0). Under this license, authors retain ownership of the copyright for their content, and anyone can copy, distribute, or reuse articles as long as the author and original source are properly cited. In all these cases for re-use, the authors will be given proper credit to the original publication in MEJS.