Extended fuzzy equational logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F06%3A00010824" target="_blank" >RIV/61989592:15310/06:00010824 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Extended fuzzy equational logic
Popis výsledku v původním jazyce
We study fuzzy equational logics extended by additional deduction rules. It is shown that equational deduction rules which preserve substitutions can be represented by Horn clauses with truth-weighted premises. This ensures us to reduce provability in extended fuzzy equational logics to provability in fuzzy Horn logic. We work in Pavelka-style (we use truth-evaluated syntax) and prove Pavelka-style completeness of extended fuzzy equational logics.
Název v anglickém jazyce
Extended fuzzy equational logic
Popis výsledku anglicky
We study fuzzy equational logics extended by additional deduction rules. It is shown that equational deduction rules which preserve substitutions can be represented by Horn clauses with truth-weighted premises. This ensures us to reduce provability in extended fuzzy equational logics to provability in fuzzy Horn logic. We work in Pavelka-style (we use truth-evaluated syntax) and prove Pavelka-style completeness of extended fuzzy equational logics.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BD - Teorie informace
OECD FORD obor
—

Projekt
<a href="/cs/project/KJB1137301" target="_blank" >KJB1137301: Relační systémy v podmínkách vágnosti a nejistoty:matematické základy pro aplikace</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2006
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)