Implicative equality algebras and annihilators in equality algebras

In this paper, the concept of an implicative equality algebra is defined and related properties are investigated. Characterizations of an implicative equality algebra and the relation among implicative and positive implicative equality algebras are discussed. Also, we define the notion of annihilato...

Full description

Saved in:
Bibliographic Details
Published inJournal of discrete mathematical sciences & cryptography Vol. ahead-of-print; no. ahead-of-print; pp. 1 - 18
Main Authors Aaly Kologani, M., Mohseni Takallo, M., Borzooei, R. A., Jun, Y. B.
Format Journal Article
LanguageEnglish
Published Taylor & Francis 01.01.2023
Subjects
(Commutative, Implicative, Positive implicative) Equality algebra
Annihilator
BCK-algebra
Deductive system
Online AccessGet full text

Cover

More Information
Summary:In this paper, the concept of an implicative equality algebra is defined and related properties are investigated. Characterizations of an implicative equality algebra and the relation among implicative and positive implicative equality algebras are discussed. Also, we define the notion of annihilator of equality algebras and investigate some traits of it and prove that annihilator of any nonempty set of equality algebras is a deductive system. Moreover, by using this notion, we define the operation and prove that for any commutative equality algebra is a bounded implicative BCK-algebra.
ISSN:0972-0529
2169-0065
DOI:10.1080/09720529.2021.1876293