论文信息 - Axiomatization of Fuzzy Attribute Logic over Complete Residuated Lattices

Axiomatization of Fuzzy Attribute Logic over Complete Residuated Lattices

The paper deals with fuzzy attribute logic (FAL) and shows its completeness over all complete residuated lattices. FAL is a calculus for reasoning with if-then rules describing particular attribute dependencies in objectattribute data. Completeness is proved in two versions: classical-style completeness and graded-style completeness.

Vilém Vychodil | Radim Belohlávek

[1] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .

[2] Vilém Vychodil,et al. Attribute Implications in a Fuzzy Setting , 2006, ICFCA.

[3] R. Belohlávek,et al. FUZZY ATTRIBUTE LOGIC : ATTRIBUTE IMPLICATIONS , THEIR VALIDITY , ENTAILMENT , AND NON-REDUNDANT BASIS ∗ , 2005 .

[4] Radim B̌elohĺavek,et al. Implications from data with fuzzy attributes , 2004 .

[5] Petr Hájek. On very true , 2001, Fuzzy Sets Syst..

[6] David Maier,et al. The Theory of Relational Databases , 1983 .

[7] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[8] Wolfgang Wechler,et al. Universal Algebra for Computer Scientists , 1992, EATCS Monographs on Theoretical Computer Science.

[9] C.J.H. Mann,et al. Fuzzy Relational Systems: Foundations and Principles , 2003 .

[10] Satoko Titani,et al. Globalization of intui tionistic set theory , 1987, Ann. Pure Appl. Log..

[11] Radim Bělohlávek,et al. Fuzzy attribute logic : syntactic entailment and completeness Radim Bělohlávek Vilém Vychodil , 2005 .

[12] Vilém Vychodil,et al. Axiomatizations of Fuzzy Attribute Logic , 2005, IICAI.