Fuzzy attribute implications as formulas of logics with truth-evaluated syntax

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F05%3A00002279" target="_blank" >RIV/61989592:15310/05:00002279 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Fuzzy attribute implications as formulas of logics with truth-evaluated syntax
Original language description
We show that fuzzy attribute implications, which are the basic formulas of fuzzy attribute logic (FAL), can be introduced in several logics with truth-evaluated syntax. Namely, we focus on representing fuzzy attribute implications as formulas of threshold Boolean logic (TBL) and fuzzy Horn logic (FHL). Our motivations stem basically in the fact that TBL and FHL use formulas which are similar to that of FAL. This opens a question whether one can use results on TBL and FHL to get some insight into FAL, e.g. to prove the completeness of FAL. The present paper shows that in particular cases completeness of TBL and FHL can be used to prove completeness of FAL.
Czech name
Fuzzy atributové implikace jako formule logiky s pravdivostně evaluovanou syntaxí
Czech description
Studie fuzzy atributových implikací jako formulí logiky s pravdivostně evaluovanou syntaxí.

Project
<a href="/en/project/1ET101370417" target="_blank" >1ET101370417: Hierarchical analysis of complex data</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)