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.0405569 - UIVT-O 330949 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Two Notions of Fuzzy Lattice Completion.
[Dva pojmy fuzzy svazového zúplnění.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.), s. 22-24
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. Ostrava (CZ), 05.10.2005-07.10.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy lattice completion * fuzzy Dedekind cuts * fuzzy MacNeille completion
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125723 - 3.0405563 - UIVT-O 330943 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr
Basics of a Formal Theory of Fuzzy Partions.
[Základy formální teorie fuzzy rozkladů.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 884-888. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy partitions * fuzzy relations * higher-order fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125718Název souboru Staženo Velikost Komentář Verze Přístup 0405563.pdf 0 589.1 KB Autorský preprint povolen - 4.0405562 - UIVT-O 330942 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Towards a Formal Theory of Fuzzy Dedekind Reals.
[Předběžný nástin formální teorie dedekindovských fuzzy reálných čísel.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 949-954. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy Dedekind completion * fuzzy real numbers * high-order fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125717 - 5.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 - 6.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 - 7.0093500 - ÚI 2008 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
Features of Mathematical Theories in Formal Fuzzy Logic.
[Vlastnosti matematických teorií ve formální fuzzy logice.]
Foundations of Fuzzy Logic and Soft Computing. Berlin: Springer, 2007 - (Melin, P.; Castillo, O.; Aguilar, L.; Kacprzyk, J.; Pedrycz, W.), s. 523-532. Lecture Notes in Artificial Intelligence, 4529. ISBN 978-3-540-72917-4.
[IFSA 2007. International Fuzzy Systems Association World Congress /12./. Cancun (MX), 18.06.2007-21.06.2007]
Grant CEP: GA AV ČR 1ET100300517; GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal fuzzy logic * axiomatic theories * the law of contraction * fuzzy mathematics * graded properties
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0153536Název souboru Staženo Velikost Komentář Verze Přístup 0093500.pdf 0 657 KB Autorský preprint povolen - 8.0093499 - ÚI 2008 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Kroupa, Tomáš
Topology in Fuzzy Class Theory: Basic Notions.
[Topologie v Teorii fuzzy tříd: základní pojmy.]
Foundations of Fuzzy Logic and Soft Computing. Berlin: Springer, 2007 - (Melin, P.; Castillo, O.; Aguilar, L.; Kacprzyk, J.; Pedrycz, W.), s. 513-522. Lecture Notes in Artificial Intelligence, 4529. ISBN 978-3-540-72917-4.
[IFSA 2007. International Fuzzy Systems Association World Congress /12./. Cancun (MX), 18.06.2007-21.06.2007]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0572
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z10750506
Klíčová slova: fuzzy topology * fuzzy class theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0153535 - 9.0086534 - ÚI 2008 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Bodenhofer, U. - Cintula, Petr
Valverde-Style Representation Results in a Graded Framework.
[Valverdovské reprezentace v plně fuzzifikovaném přístupu.]
New Dimensions in Fuzzy Logic and Related Technologies. Vol. 1. Ostrava: University of Ostrava, 2007 - (Štěpnička, M.; Novák, V.; Bodenhofer, U.), s. 153-160. ISBN 978-80-7368-386-3.
[EUSFLAT 2007. Ostrava (CZ), 11.09.2007-14.09.2007]
Grant CEP: GA AV ČR 1ET100300517; GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Fuzzy Class Theory * fuzzy relations * graded properties * MTL logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0148773Název souboru Staženo Velikost Komentář Verze Přístup 0086534.pdf 0 739 KB Autorský preprint povolen - 10.0086531 - ÚI 2008 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Kroupa, Tomáš
Interior-Based Topology in Fuzzy Class Theory.
[Topologie založená na operátoru vnitřku v Teorii fuzzy tříd.]
New Dimensions in Fuzzy Logic and Related Technologies. Vol. 1. Ostrava: University of Ostrava, 2007 - (Štěpnička, M.; Novák, V.; Bodenhofer, U.), s. 145-151. ISBN 978-80-7368-386-3.
[EUSFLAT 2007. Ostrava (CZ), 11.09.2007-14.09.2007]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0572
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z10750506
Klíčová slova: fuzzy topology * Fuzzy Class Theory * interior point * neighborhood
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0148770