9th Joint International Conference on Information Sciences (JCIS-06)

Axiomatization of fuzzy attribute logic over complete residuated lattices

Authors
Radim Belohlavek 0, Vilem Vychodil
Corresponding Author
Radim Belohlavek
0Palacky University
Available Online October 2006.
DOI
https://doi.org/10.2991/jcis.2006.281How to use a DOI?
Keywords
completeness, residuated lattice, fuzzy logic, fuzzy attribute, graded completeness, if-then rule
Abstract
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 object-attribute data. Completeness is proved in two versions: classical-style completeness and graded-style completeness.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
9th Joint International Conference on Information Sciences (JCIS-06)
Part of series
Advances in Intelligent Systems Research
Publication Date
October 2006
ISBN
978-90-78677-01-7
DOI
https://doi.org/10.2991/jcis.2006.281How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

Cite this article

TY  - CONF
AU  - Radim Belohlavek
AU  - Vilem Vychodil
PY  - 2006/10
DA  - 2006/10
TI  - Axiomatization of fuzzy attribute logic over complete residuated lattices
BT  - 9th Joint International Conference on Information Sciences (JCIS-06)
PB  - Atlantis Press
UR  - https://doi.org/10.2991/jcis.2006.281
DO  - https://doi.org/10.2991/jcis.2006.281
ID  - Belohlavek2006/10
ER  -