Web projektu DAR

Výzkumné centrum
Data - Algoritmy - Rozhodování

Založeno v roce 2005 s podporou MŠMT ČR (projekt 1M0572)

Publikace

Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense

Typ:

Konferenční příspěvek

Autoři publikace:

Novák V.

Název sborniku:

IPMU 08 Proceedings

Nakladatel:

University of Malaga

Místo vydání:

Malaga

Rok:

2008

Strany:

1045-1052

ISBN:

978-84-612-3061-7

Kontaktní osoba:

prof. Ing. Vilém Novák, DrSc. (ÚVAFM Ostravská Univerzita)

Klíčová slova:

Fuzzy type theory; EQ-algebra;residuated lattice; fuzzy logi

Anotace:

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.