- News
- Subject and Goals
- Council and Annual Reports
- Contacts and Working Groups
- Lectures and Presentations
- Conferences and Seminars
- Publications
- Application Demos
- International Travels
- Visitors
- Past Events
- E-Synergy Login
SEARCH
MEMBERS OF RESEARCH CENTER
Research Centre
Data - Algorithms - Decision Making
Data - Algorithms - Decision Making
Established in 2005 under support of MŠMT ČR (project 1M0572)
Publications
Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense
Typ:
Conference paper
Authors:
Proceedings name:
IPMU 08 Proceedings
Publisher:
University of Malaga
Serie:
Malaga
Year:
2008
Pages:
1045-1052
ISBN:
978-84-612-3061-7
Keywords:
Fuzzy type theory; EQ-algebra;residuated lattice; fuzzy logi
Anotation:
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.