On v-filters and normal v-filters of a residuated lattice with a weak vt-operator

Information Sciences

Volumn 178, Issue 17, 2008, Pages 3465-3473

  Wang, Zhudeng ^a,b   Fang, Jin xuan ^b  

^a ZHEJIANG WANLI UNIVERSITY   (China)

^b NANJING NORMAL UNIVERSITY   (China)

Author keywords

Filter; Fuzzy logic; Normal filter; Normal v filter; Residuated lattice; v Filter; Weak vt operator

Indexed keywords

(U ,V) OPERATOR; EQUIVALENT CONDITIONS; FILTER THEORY; LATTICE (CO); RESIDUATED LATTICES;

WAVE FILTERS;

EID: 45849087725     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2008.04.003     Document Type: Article

References (40)

1. Bělohlávek R., and Vychodil V. Fuzzy Horn logic I, proof theory. Archive for Mathematical Logic 45 (2006) 3-51
2. Birkhoff G. Lattice Theory (1967), American Mathematical Society Colloquium Publishers, Providence, Rhode Island
3. Blount K., and Tsinakis C. The structure of residuated lattices. International Journal of Algebra and Computation 13 (2003) 437-461
4. A. Ciabattoni, G. Metcalfe, F. Montagna, Adding modalities to fuzzy logics, in: Proceedings of the 26th Linz Seminar on Fuzzy Set Theory, Austria, 2005, pp. 27-33.
5. Cignoli R.L.O., D'Ottaviano I.M.L., and Mundici D. Algebraic Foundations of Many-valued Reasoning (1999), Kluwer Academic Publishers, Dordrecht
6. Dvurečenskij A. Pseudo MV-algebras. Soft Computing 5 (2001) 347-354
7. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left continuous t-norms. Fuzzy Sets and Systems 124 (2001) 271-288
8. Flondor P., Georgescu G., and Iorgulescu A. Pseudo t-norms and pseudo BL-algebras. Soft Computing 5 (2001) 355-371
9. Georgescu G., and Iorgulescu A. Pseudo-MV-algebras. Multiple Valued Logic 6 (2001) 95-135
10. Georgescu G., and Leuştean L. Some classes of pseudo BL-algebras. Journal of Australian Mathematical Society 73 (2003) 127-153
11. Georgescu G., and Popescu A. Non-commutative fuzzy structures and pair of weak negations. Fuzzy Sets and Systems 143 (2004) 129-155
12. Hàjek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
13. Hájek P. On very true. Fuzzy Sets and Systems 124 (2001) 329-333
14. Hájek P. Observations on non-commutative fuzzy logic. Soft Computing 8 (2003) 38-43
15. Hájek P. Fuzzy logic with noncommutative conjunctions. Journal of Logic and Computation 13 (2003) 469-479
16. Hájek P., and Harmancová D. A hedge for Gödel fuzzy logic. International Journal of Uncertainly, Fuzziness and Knowledge-Based Systems 8 (2000) 495-498
17. Haveshki M., Saeid A.B., and Eslami E. Some types of filters in BL algebras. Soft Computing 10 (2006) 657-664
18. Höhle U. Commutative, residuated l-monoids. In: Höhle U., and Klement E.P. (Eds). Non-Classical Logics and Their Applications to Fuzzy Subsets (1995), Kluwer Academic Publishers, Boston, Dordrecht 53-106
19. Jun Y.B., Xu Y., and Ma J. Redefined fuzzy implicative filters. Information Sciences 177 (2007) 1422-1429
20. Jun Y.B., Xu Y., and Zhong X.H. Fuzzy filters of MTL-algebras. Information Sciences 175 (2005) 120-138
21. Kondo M., and Dudek W.A. Filter theory of BL algebras. Soft Computing 10 (2007) 657-664
22. Leuştean I. Non-commutative Łukasiewicz propositional logic. Archive for Mathematical Logic 45 (2006) 191-213
23. 0-algebras. Information Sciences 171 (2005) 61-71
24. Li L.Z., and Li K.T. Fuzzy filters of BL-algebras. Information Sciences 173 (2005) 141-154
25. Li L.Z., and Li K.T. Boolean filters and positive implicative filters of residuated lattices. Information Sciences 177 (2007) 5725-5738
26. Ma J., Li W.J., Ruan D., and Xu Y. Filter-based resolution principle for lattice-valued propositional logic LP (X). Information Sciences 177 (2007) 1046-1062
27. H. One, Modalities in substructural logic - a preliminary report, in: Proceedings of the 39th MLG Meeting at Gamagori, Japan, 2005, pp. 36-38.
28. Pavelka J. On fuzzy logic II. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 25 (1979) 119-134
29. Rachůnek J. A duality between algebras of basic logic and bounded representable DRl-monoids. Mathematica Biochemica 126 (2001) 561-569
30. Rachůnek J. A non-commutative generalization of MV-algebras. Czechoslovak Mathematical Journal 52 (2002) 255-273
31. Rachůnek J., and Šalounová D. Truth values on generalization of some commutative fuzzy structures. Fuzzy Sets and Systems 157 (2006) 3159-3168
32. Rachůnek J., and Šalounová D. Local bounded commutative residuated ℓ-monoids. Czechoslovak Mathematical Journal 57 (2007) 395-406
33. Rachůnek J., and Šalounová D. A generalization of local fuzzy structures. Soft Computing 11 (2007) 565-571
34. Turunen E. Boolean deductive systems of BL-algebras. Archive for Mathematical Logic 40 (2001) 467-473
35. Van Gasse B., Cornelis C., Deschrijver D., and Kerre E.E. Triangle algebras: a formal logic approach to interval-valued residuated lattices. Fuzzy Sets and Systems 159 (2008) 1042-1060
36. Vychodil V. Truth-depressing hedges and BL-logic. Fuzzy Sets and Systems 157 (2006) 2074-2090
37. Wang G.J. Non-Classical Mathematical Logic and Approximate Reasoning (2000), Science Press, Beijing
38. Wang Z.D. TL-filters of integral residuated l-monoids. Information Sciences 177 (2007) 887-896
39. Zadeh L.A. Fuzzy logic and approximate reasoning. Synthese 30 (1975) 407-428
40. Zhang X.H., and Li W.H. On pseudo-BL algebras and BCC-algebras. Soft Computing 10 (2006) 941-952