Výsledky vyhledávání
- 1.0411400 - UTIA-B 20050130 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Kroupa, Tomáš
Towards formal theory of measure on clans of fuzzy sets.
[O formalni teorii miry na fuzzy mnozinach.]
Barcelona: Universitat Politecnica de Catalunya, 2005. ISBN 84-7653-872-3. In: Proceedings of the Joint EUSFLAT-LFA 2005 Conference. - (Montseny, E.; Sobrevilla, P.), s. 351-356
[Conference of the European Society for Fuzzy Logic /4./ and Technology and Rencontres Phrancophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0572
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: fuzzy measures * clans * fuzzy mathematics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0131482 - 2.0405627 - UIVT-O 336009 US eng A - Abstrakt
Cintula, Petr
Formal Fuzzy Mathematics.
Forging New Frontiers. Berkeley: University of California, 2005. s. 139.
[BISCSE 2005. Fuzzy Pioneers (1965-2005) /40./. 02.11.2005-05.11.2005, Berkeley]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal fuzzy mathematics * fuzzy class theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125774 - 3.0405623 - UIVT-O 336005 RIV NL eng J - Článek v odborném periodiku
Běhounek, Libor - Cintula, Petr
From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto.
[Od fuzzy logiky k fuzzy matematice: metodologický manifest.]
Fuzzy Sets and Systems. Roč. 157, č. 5 (2006), s. 642-646. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logics * formal fuzzy logic * formal fuzzy mathematics * high-order fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.181, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0125772Název souboru Staženo Velikost Komentář Verze Přístup 0405623.pdf 15 604.4 KB Autorský preprint povolen - 4.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 - 5.0405532 - UIVT-O 330910 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus.
[Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1227-1232. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0545
Klíčová slova: fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125690Název souboru Staženo Velikost Komentář Verze Přístup 0405532.pdf 0 576.3 KB Autorský preprint povolen - 6.0405425 - UIVT-O 330797 SK eng A - Abstrakt
Cintula, Petr - Běhounek, Libor
Formal Theories of Mathematical Structures with Vagueness.
Mathematics, Geometry and their Applications. Bratislava: STU Publishing House, 2004 - (Mesiar, E.; Saminger, S.; Ipolyiová, M.; Struk, P.). s. 7-10. ISBN 80-227-2165-4.
[MAGIA UWPM. 15.10.2004-17.10.2004, Kočovice SK, Weyereng am Attersee]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125593 - 7.0405322 - UIVT-O 330693 AT eng A - Abstrakt
Bodenhofer, U. - Běhounek, Libor - Cintula, Petr
Relations in Higher-order Fuzzy Logic III.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 20-22
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502; GA ČR GD401/03/H047
Grant ostatní: COST(XE) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125495 - 8.0405314 - UIVT-O 330685 AT eng A - Abstrakt
Běhounek, Libor - Cintula, Petr
Relations in Higher-Order Fuzzy Logic I,II.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 10-15
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant ostatní: COST(XE) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125487 - 9.0405252 - UIVT-O 330486 RIV NL eng J - Článek v odborném periodiku
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory.
[Teorie fuzzy tříd.]
Fuzzy Sets and Systems. Roč. 154, - (2005), s. 34-55. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR IAA1030004; GA MŠMT OC 274.001
Grant ostatní: COST(EU) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.039, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125435Název souboru Staženo Velikost Komentář Verze Přístup 0405252.pdf 10 742.7 KB Autorský preprint povolen - 10.0391884 - ÚI 2014 RIV eng U - Uspořádání akce
Běhounek, Libor - Cintula, Petr
Non-Classical Mathematics. Workshop at UNILOG 2013.
[Rio de Janeiro, 03.04.2013, (W-WRD 15/10)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical mathematics * constructive mathematics * inconsistent mathematics * fuzzy mathematics
Kód oboru RIV: BA - Obecná matematika
http://www.uni-log.org/ss4-NCM.html
Trvalý link: http://hdl.handle.net/11104/0220856