# Article

Full entry | PDF   (0.2 MB)
Keywords:
residuated $\text{\rm l}$-monoid; non-classical logics; basic fuzzy logic; intuitionistic logic; filter; fuzzy filter; $\text{\rm BL}$-algebra; $\text{\rm MV}$-algebra; Heyting algebra
Summary:
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 $\text{\rm 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 $\text{\rm Rl}$-monoids.
References:
[1] Balbes, R., Dwinger, P.: Distributive Lattices. Univ. of Missouri Press, Columbia, Missouri (1974). MR 0373985 | Zbl 0321.06012
[2] Blount, K., Tsinakis, C.: The structure of residuated lattices. Intern. J. Alg. Comp. 13 (2003), 437-461. DOI 10.1142/S0218196703001511 | MR 2022118 | Zbl 1048.06010
[3] Cignoli, R., D'Ottaviano, I. M. L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (2000). Zbl 0937.06009
[4] Dvurečenskij, A., Rachůnek, J.: Probabilistic averaging in bounded commutative residuated l-monoids. Discrete Mathematics 306 (2006), 1317-1326. DOI 10.1016/j.disc.2005.12.024 | MR 2237716
[5] Dymek, G.: Fuzzy prime ideals of pseudo-MV algebras. Soft Comput. 12 (2008), 365-372. DOI 10.1007/s00500-007-0170-2 | Zbl 1132.06006
[6] Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier Studies in Logic and Foundations (2007). MR 2531579 | Zbl 1171.03001
[7] Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998). MR 1900263
[8] Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2 (1998), 124-128. DOI 10.1007/s005000050043
[9] Haveshki, M., Saeid, A. B., Eslami, E.: Some types of filters in BL-algebras. Soft Comput. 10 (2006), 657-664. DOI 10.1007/s00500-005-0534-4 | Zbl 1103.03062
[10] Höhle, U.: Commutative, residuated l-monoids. Non-Classical Logics and Their Applications to Fuzzy Subsets, Kluwer, Dordrecht U. Höhle, E. P. Klement (1995), 53-106. MR 1345641
[11] Hoo, C. S.: Fuzzy ideals of BCI and MV-algebras. Fuzzy Sets and Syst. 62 (1994), 111-114. MR 1259890 | Zbl 0826.06011
[12] Hoo, C. S.: Fuzzy implicative and Boolean ideals of MV-algebras. Fuzzy Sets and Syst. 66 (1994), 315-327. MR 1300288 | Zbl 0844.06007
[13] Jipsen, P., Tsinakis, C.: A survey of residuated lattices. J. Martinez Ordered algebraic structures. Kluwer, Dordrecht (2002), 19-56. MR 2083033 | Zbl 1070.06005
[14] Jun, Y. B., Walendziak, A.: Fuzzy ideals of pseudo MV-algebras. Inter. Rev. Fuzzy Math. 1 (2006), 21-31. MR 2294714 | Zbl 1128.06005
[15] Kondo, M., Dudek, W. A.: Filter theory of BL-algebras. Soft Comput. 12 (2008), 419-423. DOI 10.1007/s00500-007-0178-7 | Zbl 1165.03056
[16] Kondo, M., Dudek, W. A.: On transfer principle in fuzzy theory. Mathware and Soft Comput. 13 (2005), 41-55. MR 2160344
[17] Rachůnek, J.: A duality between algebras of basic logic and bounded representable DRl-monoids. Math. Bohem. 126 (2001), 561-569. MR 1970259
[18] Rachůnek, J., Šalounová, D.: Boolean deductive systems of bounded commutative residuated l-monoids. Contrib. Gen. Algebra 16 (2005), 199-208. MR 2166959
[19] Rachůnek, J., Šalounová, D.: Local bounded commutative residuated l-monoids. Czech. Math. J. 57 (2007), 395-406. DOI 10.1007/s10587-007-0068-2 | MR 2309973
[20] Rachůnek, J., Šalounová, D.: Classes of filters in generalizations of commutative fuzzy structures. Acta Univ. Palacki. Olomuc., Fac. Rer. Nat., Math (to appear). MR 2641951
[21] Rachůnek, J., Šalounová, D.: Fuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras. Inform. Sci. 178 (2008), 3474-3481. DOI 10.1016/j.ins.2008.05.005 | MR 2436416
[22] Rachůnek, J., Slezák, V.: Negation in bounded commutative DRl-monoids. Czech. Math. J. 56 (2006), 755-763. DOI 10.1007/s10587-006-0053-1 | MR 2291772
[23] Turunen, E.: Boolean deductive systems of BL-algebras. Arch. Math. Logic 40 (2001), 467-473. DOI 10.1007/s001530100088 | MR 1854896 | Zbl 1030.03048
[24] Ward, M., Dilworth, R. P.: Residuated lattices. Trans. Amer. Math. Soc. 45 (1939), 335-354 \JFM 65.0084.01. DOI 10.1090/S0002-9947-1939-1501995-3 | MR 1501995 | Zbl 0021.10801
[25] Zhan, J., Dudek, W. A., Jun, Y. B.: Interval valued ($\in,{\in}ěe q$)-fuzzy filters of pseudo BL-algebras. Soft Comput. 13 (2009), 13-21. DOI 10.1007/s00500-008-0288-x

Partner of