Search results

Records found: 2  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0010983 za^"
    1.
    0405390 - UIVT-O 330762 GR eng A - Abstract
    Horčík, Rostislav
    Structure of Commutative Cancellative Residuated l-monoids in [0,1].
    Residuated Structures and Many-Valued Logics. Patras: University of Patras, 2004. s. 1-2.
    [Residuated Structures and Many-Valued Logics. 02.06.2004-05.06.2004, Patras]
    R&D Projects: GA ČR ga201/02/1540; GA ČR GD401/03/H047
    Grant - others:Net CEEPUS SK-042
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0125560
     
     
    2.
    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
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all