Nejdůležitější fuzzy teorie typů pro fuzzy logiku v širším smyslu

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F08%3AA0800Q9E" target="_blank" >RIV/61988987:17610/08:A0800Q9E - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61988987:17610/08:A1000Q9E
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense
Popis výsledku v původním jazyce
In this paper, we briefly discuss the concept of fuzzy logic in broader sense and its present stage of development. Furthermore, we introduce a special algebra called EQ-algebra in which the basic operation is that of fuzzy equality. Then we introduce axiomatics of a new core fuzzy type theory -IEQ-FTT- and demonstrate how three principal fuzzy type theories, namely IMTL- , Lukasiewicz, and BL- can be derived from it.
Název v anglickém jazyce
Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense
Popis výsledku anglicky
In this paper, we briefly discuss the concept of fuzzy logic in broader sense and its present stage of development. Furthermore, we introduce a special algebra called EQ-algebra in which the basic operation is that of fuzzy equality. Then we introduce axiomatics of a new core fuzzy type theory -IEQ-FTT- and demonstrate how three principal fuzzy type theories, namely IMTL- , Lukasiewicz, and BL- can be derived from it.

Projekt
<a href="/cs/project/1M0572" target="_blank" >1M0572: Data, algoritmy, rozhodování</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2008
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)