Výsledky vyhledávání
- 1.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 - 2.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 - 3.0305371 - ÚI 2008 AT eng A - Abstrakt
Běhounek, Libor - Kroupa, Tomáš
Continuous Relations over Topological Spaces in Fuzzy Class Theory.
Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Linz: Johannes Kepler Universität, 2008 - (Klement, E.; Rodabaugh, S.; Stout, L.). s. 15-18
[Linz Seminar on Fuzzy Set Theory /29./. 12.02.2008-16.02.2008, Linz]
Grant CEP: GA AV ČR 1ET100300517; GA AV ČR KJB100300502; GA MŠMT 1M0572
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z10750506
Klíčová slova: higher order fuzzy logic * topology * continuity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0158686 - 4.0042359 - ÚI 2007 ES eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Generating Normal Forms for Fuzzy Logics via Proof Calculi.
[Generování normálních forem pro fuzzy logiky důkazově-teoretickými prostředky.]
The Logic of Soft Computing. Malaga: Universidad de Malaga, 2006 - (Gottwald, S.; Hájek, P.; Ojeda-Aciego, M.). s. 74-76
[LCS'06. International Conference on The Logic of Soft Computing and Workshop of the ERCIM WG on Soft Computing. 13.09.2006-15.09.2006, Malaga]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * normal form * proof theory * hypersequents
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135607 - 5.0031921 - UIVT-O 336145 SK eng A - Abstrakt
Cintula, Petr
Formal Theory of Generalized Fuzzy Partitions.
Eight International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Academy of Armed Forces of General M.R.Štefánik, 2006 - (Klement, P.; Mesiar, R.; Drobná, E.; Chovanec, F.). s. 31. ISBN 80-8040-284-1.
[FSTA 2006 /8./. 30.01.2006-03.02.2006, Liptovský Ján]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy class theory * formal fuzzy mathematics * fuzzy partitions
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0132549 - 6.0031920 - UIVT-O 336144 SK eng A - Abstrakt
Běhounek, Libor - Daňková, M.
Relation Compositions in Fuzzy Class Theory.
Eight International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Academy of Armed Forces of General M.R.Štefánik, 2006 - (Klement, P.; Mesiar, R.; Drobná, E.; Chovanec, F.). s. 23. ISBN 80-8040-284-1.
[FSTA 2006 /8./. 30.01.2006-03.02.2006, Liptovský Ján]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT(CZ) 1M0572
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:MSM6198898701
Klíčová slova: fuzzy relations * fuzzy class theory * relational compositions
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0132548 - 7.0031919 - UIVT-O 336142 SK eng A - Abstrakt
Běhounek, Libor - Cintula, Petr
The Apparatus of Fuzzy Class Theory.
Eight International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Academy of Armed Forces of General M.R.Štefánik, 2006 - (Klement, P.; Mesiar, R.; Drobná, E.; Chovanec, F.). s. 7. ISBN 80-8040-284-1.
[FSTA 2006 /8./. 30.01.2006-03.02.2006, Liptovský Ján]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy class theory * formal fuzzy mathematics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0132547