Classes of fuzzy filters of residuated lattice ordered monoids. (English) Zbl 1224.03043

Summary: The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice-ordered monoids (\(l\)-monoids) are common generalizations of BL-algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding algebras. In the paper we investigate implicative, positive implicative, Boolean and fantastic fuzzy filters of bounded \(l\)-monoids.


03G25 Other algebras related to logic
06D20 Heyting algebras (lattice-theoretic aspects)
06D35 MV-algebras
06F05 Ordered semigroups and monoids