Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4944659 | Information Sciences | 2017 | 13 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
F. Zebardast, R.A. Borzooei, M. Aaly Kologani,