Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense

Result code in 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>
Alternative codes found
RIV/61988987:17610/08:A1000Q9E
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense
Original language description
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.
Czech name
Nejdůležitější fuzzy teorie typů pro fuzzy logiku v širším smyslu
Czech description
V článku je stručně charakterizován pojem fuzzy logiky v širším smyslu a její současný stav. Dále je zavedena speciální algebra pravdivostních hodnot nazvaná EQ-algebra a na základě ní jádrová fuzzy teorie typů IEQ-FTT.

Project
<a href="/en/project/1M0572" target="_blank" >1M0572: Data, algorithms, decision making</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

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

Similar results(10)