상세 보기
Implicative equality algebras and annihilators in equality algebras
- Kologani, M. Aaly;
- Takallo, M. Mohseni;
- Borzooei, R. A.;
- Jun, Y. B.
Citations
WEB OF SCIENCE
3Citations
SCOPUS
5초록
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 (sic) and prove that for any commutative equality algebra epsilon, (DS*(epsilon), (sic), {1}) is a bounded implicative BCK-algebra.
키워드
(Commutative, Implicative, Positive implicative) Equality algebra; Deductive system; Annihilator; BCK-algebra
- 제목
- Implicative equality algebras and annihilators in equality algebras
- 저자
- Kologani, M. Aaly; Takallo, M. Mohseni; Borzooei, R. A.; Jun, Y. B.
- 발행일
- 2022-10
- 유형
- Article; Early Access
- 권
- 26
- 호
- 1
- 페이지
- 29 ~ 46