Search results
- 1.0405322 - UIVT-O 330693 AT eng A - Abstract
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]
R&D Projects: GA MŠMT OC 274.001; GA AV ČR KJB100300502; GA ČR GD401/03/H047
Grant - others:COST(XE) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Source of funding: V - Other public resources
Keywords : formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125495 - 2.0405314 - UIVT-O 330685 AT eng A - Abstract
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]
R&D Projects: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant - others:COST(XE) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125487 - 3.0305371 - ÚI 2008 AT eng A - Abstract
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]
R&D Projects: GA AV ČR 1ET100300517; GA AV ČR KJB100300502; GA MŠMT 1M0572
Institutional research plan: CEZ:AV0Z10300504; CEZ:AV0Z10750506
Keywords : higher order fuzzy logic * topology * continuity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0158686 - 4.0042359 - ÚI 2007 ES eng A - Abstract
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]
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * normal form * proof theory * hypersequents
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135607 - 5.0031921 - UIVT-O 336145 SK eng A - Abstract
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]
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy class theory * formal fuzzy mathematics * fuzzy partitions
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0132549 - 6.0031920 - UIVT-O 336144 SK eng A - Abstract
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]
R&D Projects: GA AV ČR KJB100300502; GA MŠMT(CZ) 1M0572
Institutional research plan: CEZ:AV0Z10300504; CEZ:MSM6198898701
Keywords : fuzzy relations * fuzzy class theory * relational compositions
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0132548 - 7.0031919 - UIVT-O 336142 SK eng A - Abstract
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]
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy class theory * formal fuzzy mathematics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0132547