Confluence and termination of fuzzy relations

Information Sciences

Volumn 180, Issue 17, 2010, Pages 3288-3303

  Belohlavek, Radim ^a,b   Kuhr, Tomas ^b   Vychodil, Vilem ^a,b  

^a BINGHAMTON UNIVERSITY   (United States)

^b PALACKÝ UNIVERSITY   (Czech Republic)

Author keywords

Confluence; Fuzzy relations; Similarity; Substitutability; Termination

Indexed keywords

FUZZY RELATIONS; REWRITING SYSTEMS; TRUTH DEGREE;

BOOLEAN ALGEBRA;

FUZZY LOGIC;

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

References (19)

1. Baader F., and Nipkow T. Term Rewriting and All That (1999), Cambridge University Press
2. Belohlavek R. Fuzzy Relational Systems: Foundations and Principles (2002), Kluwer Academic/Plenum Publishers, New York
3. Belohlavek R., and Krupka M. Grouping fuzzy sets by similarity. Inf. Sci. 179 15 (2009) 2656-2661
4. Belohlavek R., and Vychodil V. Fuzzy Equational Logic (2005), Springer
5. Belohlavek R., and Vychodil V. Fuzzy horn logic I: proof theory. Arch. Math. Logic 45 1 (2006) 3-51
6. Belohlavek R., and Vychodil V. Fuzzy horn logic II: implicationally defined classes. Arch. Math. Logic 45 2 (2006) 149-177
7. Cǎlugǎreanu G. Lattice Concepts of Module Theory (2000), Kluwer, Dordrecht
8. Dilworth R.P. Abstract residuation over lattices. Bull. Am. Math. Soc. 44 (1938) 262-268
9. Galatos N., Jipsen P., Kowalski T., and Ono H. Residuated Lattices: An Algebraic Glimpse at Substructural Logics. first ed. (2007), Elsevier Science
10. Goguen J.A. L-fuzzy sets. J. Math. Anal. Appl. 18 (1967) 145-174
11. J.A. Goguen, The logic of inexact concepts, Synthese 18(1968-9), 325-373.
12. Gottwald S. A Treatise on Many-Valued Logics (2001), Research Studies Press, Baldock, Hertfordshire, England
13. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer, Dordrecht
14. Jayaram B., and Mesiar R. I-Fuzzy equivalence relations and I-fuzzy partitions. Inf. Sci. 179 9 (2009) 1278-1297
15. Pavelka J. On fuzzy logic I, II, III. Zeit. Math. Log. Grundl. Math. 25 (1979) 45-52 119-134, 447-464
16. Ward M., and Dilworth R.P. Residuated lattices. Trans. Am. Math. Soc. 45 (1939) 335-354
17. Wechler W. Universal Algebra for Computer Scientists (1992), Springer, Berlin
18. Zadeh L.A. Fuzzy sets. Inf. Control 8 3 (1965) 338-353
19. Zadeh L.A. Is there a need for fuzzy logic?. Inf. Sci. 178 13 (2009) 2751-2779