Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4943855 | Fuzzy Sets and Systems | 2017 | 16 Pages |
Abstract
(Bounded integral) residuated lattices (which need not be commutative) form a large class of algebras containing some classes of algebras behind many-valued and fuzzy logics. Congruences of such algebras are usually defined and investigated by means of their normal filters. In the paper we introduce and investigate ideals of residuated lattices. We show that one can define, in some cases, congruences also using ideals and that the corresponding quotient residuated lattices are involutive.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
JiÅà Rachůnek, Dana Å alounová,