Počet záznamů: 1
Relations in Higher-Order Fuzzy Logic I,II
- 1.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
Počet záznamů: 1