Geodesic
Classes of fuzzy filters of residuated lattice ordered monoids
Mathematica Bohemica, Tome 135 (2010) no. 1, pp. 81-97

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
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.
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.
DOI : 10.21136/MB.2010.140685
Classification : 03B47, 03B52, 03G25, 06D35, 06F05
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 
Rachůnek, Jiří; Šalounová, Dana. Classes of fuzzy filters of residuated lattice ordered monoids. Mathematica Bohemica, Tome 135 (2010) no. 1, pp. 81-97. doi: 10.21136/MB.2010.140685
@article{10_21136_MB_2010_140685,
     author = {Rach\r{u}nek, Ji\v{r}{\'\i} and \v{S}alounov\'a, Dana},
     title = {Classes of fuzzy filters of residuated lattice ordered monoids},
     journal = {Mathematica Bohemica},
     pages = {81--97},
     year = {2010},
     volume = {135},
     number = {1},
     doi = {10.21136/MB.2010.140685},
     mrnumber = {2643358},
     zbl = {1224.03043},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2010.140685/}
}
TY  - JOUR
AU  - Rachůnek, Jiří
AU  - Šalounová, Dana
TI  - Classes of fuzzy filters of residuated lattice ordered monoids
JO  - Mathematica Bohemica
PY  - 2010
SP  - 81
EP  - 97
VL  - 135
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2010.140685/
DO  - 10.21136/MB.2010.140685
LA  - en
ID  - 10_21136_MB_2010_140685
ER  - 
%0 Journal Article
%A Rachůnek, Jiří
%A Šalounová, Dana
%T Classes of fuzzy filters of residuated lattice ordered monoids
%J Mathematica Bohemica
%D 2010
%P 81-97
%V 135
%N 1
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2010.140685/
%R 10.21136/MB.2010.140685
%G en
%F 10_21136_MB_2010_140685

[1] Balbes, R., Dwinger, P.: Distributive Lattices. Univ. of Missouri Press, Columbia, Missouri (1974). | MR | Zbl

[2] Blount, K., Tsinakis, C.: The structure of residuated lattices. Intern. J. Alg. Comp. 13 (2003), 437-461. | DOI | MR | Zbl

[3] Cignoli, R., D'Ottaviano, I. M. L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (2000). | Zbl

[4] Dvurečenskij, A., Rachůnek, J.: Probabilistic averaging in bounded commutative residuated l-monoids. Discrete Mathematics 306 (2006), 1317-1326. | DOI | MR

[5] Dymek, G.: Fuzzy prime ideals of pseudo-MV algebras. Soft Comput. 12 (2008), 365-372. | DOI | MR | Zbl

[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 | Zbl

[7] Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998). | MR

[8] Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2 (1998), 124-128. | DOI

[9] Haveshki, M., Saeid, A. B., Eslami, E.: Some types of filters in BL-algebras. Soft Comput. 10 (2006), 657-664. | DOI | MR | Zbl

[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

[11] Hoo, C. S.: Fuzzy ideals of BCI and MV-algebras. Fuzzy Sets and Syst. 62 (1994), 111-114. | MR | Zbl

[12] Hoo, C. S.: Fuzzy implicative and Boolean ideals of MV-algebras. Fuzzy Sets and Syst. 66 (1994), 315-327. | MR | Zbl

[13] Jipsen, P., Tsinakis, C.: A survey of residuated lattices. J. Martinez Ordered algebraic structures. Kluwer, Dordrecht (2002), 19-56. | MR | Zbl

[14] Jun, Y. B., Walendziak, A.: Fuzzy ideals of pseudo MV-algebras. Inter. Rev. Fuzzy Math. 1 (2006), 21-31. | MR | Zbl

[15] Kondo, M., Dudek, W. A.: Filter theory of BL-algebras. Soft Comput. 12 (2008), 419-423. | DOI | Zbl

[16] Kondo, M., Dudek, W. A.: On transfer principle in fuzzy theory. Mathware and Soft Comput. 13 (2005), 41-55. | MR

[17] Rachůnek, J.: A duality between algebras of basic logic and bounded representable DRl-monoids. Math. Bohem. 126 (2001), 561-569. | MR

[18] Rachůnek, J., Šalounová, D.: Boolean deductive systems of bounded commutative residuated l-monoids. Contrib. Gen. Algebra 16 (2005), 199-208. | MR

[19] Rachůnek, J., Šalounová, D.: Local bounded commutative residuated l-monoids. Czech. Math. J. 57 (2007), 395-406. | DOI | MR

[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

[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 | MR

[22] Rachůnek, J., Slezák, V.: Negation in bounded commutative DRl-monoids. Czech. Math. J. 56 (2006), 755-763. | DOI | MR

[23] Turunen, E.: Boolean deductive systems of BL-algebras. Arch. Math. Logic 40 (2001), 467-473. | DOI | MR | Zbl

[24] Ward, M., Dilworth, R. P.: Residuated lattices. Trans. Amer. Math. Soc. 45 (1939), 335-354 \JFM 65.0084.01. | DOI | MR | Zbl

[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 | MR

Cité par Sources :