Výsledky vyhledávání
- 1.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
Trvalý link: http://hdl.handle.net/11104/0125691Název souboru Staženo Velikost Komentář Verze Přístup 0405533.pdf 0 570.5 KB Autorský preprint povolen - 2.0048310 - ÚI 2007 SIGLE CZ eng V - Výzkumná zpráva
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory: A Primer v1.0.
Prague: ICS AS CR, 2006. 20 s. Technical Report, V-939.
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy class theory * graded properties * proof methods
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0138971Název souboru Staženo Velikost Komentář Verze Přístup v939-06.pdf 28 315.7 KB Jiná povolen - 3.0042366 - ÚI 2007 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Daňková, M.
Automated Proofs for Composition-Based Fuzzy Relational Notions.
[Automatické důkazy tvrzení o pojmech příbuzných skládání.]
The Logic of Soft Computing. Malaga: Universidad de Malaga, 2006 - (Gottwald, S.; Hájek, P.; Ojeda-Aciego, M.), s. 96-102
[LCS'06. International Conference on The Logic of Soft Computing and Workshop of the ERCIM WG on Soft Computing. Malaga (ES), 13.09.2006-15.09.2006]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0572
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy relations * fuzzy class theory * relational compositions * formal proof methods
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135612