Fuzzy filters and fuzzy prime filters of bounded R? R ? -monoids and pseudo BL-algebras
The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. The sets of provable formulas in corresponding inference systems from the point of view of uncertain information can be described by fuzzy filters of those algebraic semantics. Bounded residuated lattice ordered monoids (R? R ? -monoids) are a common generalization of pseudo BL-algebras (and consequently of pseudo MV -algebras) and Heyting algebras, i.e. algebras behind fuzzy and intuitionistic reasoning. In the paper, we introduce and investigate fuzzy filters of bounded R? R ? -monoids and fuzzy prime filters of pseudo BL-algebras.
fuzzy filter filter fuzzy prime filter prime filter pseudo bl-algebra r? r ? -monoid r? r ? r? r ? r ? pseudo mv-algebra