J. Rachunek, Department of Algebra and Geometry, Faculty of Sciences, Palacky University, 17. listopadu 12, 771 46 Olomouc, Czech Republic, e-mail: rachunek@inf.upol.cz; D. Salounova, Department of Mathematical Methods in Economy, Faculty of Economics, VSB-Technical University Ostrava, Sokolska 33, 701 21 Ostrava, Czech Republic, e-mail: dana.salounova@vsb.cz
Abstract: The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (Rl-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 Rl-monoids.
Keywords: residuated \ell-monoid, non-classical logics, basic fuzzy logic, intuitionistic logic, filter, fuzzy filter, BL-algebra, MV-algebra, Heyting algebra
Classification (MSC 2010): 03B47, 03B52, 03G25, 06D35, 06F05
Full text available as PDF.
Access to the full text of journal articles on this site is restricted to the subscribers of Myris Trade. To activate your access, please contact Myris Trade at myris@myris.cz.