Results on equality algebras

详细信息    查看全文

• 作者：F. Zebardast^a ; ^{zebardastfathme@gmail.com} ; R.A. Borzooei^b ; ^{borzooei@sbu.ac.ir} ; M. Aaly Kologani^b ; ^{mona4011@gmail.com}
• 关键词：Equality algebra ; Residuated lattice ; MTL-algebra ; BL-algebra ; MV-algebra ; Hertz-algebra ; Heyting-algebra ; Boolean-algebra ; EQ-algebra ; Hoop-algebra
• 刊名：Information Sciences
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：381
• 期：Complete
• 页码：270-282
• 全文大小：571 K
• 卷排序：381

文摘

In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we study and show that there are relations among equality algebras and some of other logical algebras such as residuated lattice, MTL-algebra, BL-algebra, MV-algebra, Hertz-algebra, Heyting-algebra, Boolean-algebra, EQ-algebra and hoop-algebra. The aim of this paper is to find that under which conditions, equality algebras are equivalent to these logical algebras.