Fuzzy Class Theory as Foundations for Fuzzy Mathematics

0405533 - UIVT-O 330911 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory as Foundations for Fuzzy Mathematics.
[Teorie fuzzy tříd jakožto základy fuzzy matematiky.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1233-1238. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant ostatní: COST(EU) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: axiomatic fuzzy set theory * fuzzy logic LPi * fuzzy mathematics * proof methods in fuzzy logic
Kód oboru RIV: BA - Obecná matematika

LPiomega is a deductive first-order theory over the fuzzy logic LPi, which axiomatically captures Zadeh's notion of fuzzy set and aims at giving a unified formal framework for a large part of fuzzy mathematics. An overview of the concepts expressible in the theory is given and informal proof methods for doing fuzzy mathematics in Lpiomega are sketched.

LPi-omega je prvořádová deduktivní teorie nad fuzzy logikou LPi. Tato teorie axiomaticky popisuje Zadehův pojem fuzzy množiny a má za cíl poskytnout jednotný formální rámec pro značnou část fuzzy matematiky. Článek podává přehled pojmů vyjádřitelných v této teorii a načrtává metody neformálních důkazů pro provozování fuzzy matematiky v LPi-omega.
Trvalý link: http://hdl.handle.net/11104/0125691