Výsledky vyhledávání

  1. 1.
    0432930 - ÚI 2015 RIV CH eng M - Část monografie knihy
    Cintula, Petr - Horčík, Rostislav - Noguera, Carles
    The Quest for the Basic Fuzzy Logic.
    Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 245-290. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
    Grant CEP: GA ČR GAP202/10/1826; GA ČR GA13-14654S
    GRANT EU: European Commission(XE) 247584 - MATOMUVI
    Grant ostatní: MICINN project TASSAT(XE) TIN2010-20967-C04-01
    Institucionální podpora: RVO:67985807 ; RVO:67985556
    Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0237239
    Název souboruStaženoVelikostKomentářVerzePřístup
    0432930.pdf3567.9 KBAutorský preprintvyžádat
     
     
  2. 2.
    0372981 - ÚI 2012 RIV GB eng M - Část monografie knihy
    Cintula, Petr - Noguera, C.
    A General Framework for Mathematical Fuzzy Logic. Chapter 2.
    Handbook of Mathematical Fuzzy Logic. Vol. 1. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 103-207. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
    Grant CEP: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: mathematical fuzzy logic * weakly implicative logics * abstract algebraic logic * non-classical logics * semilinear logics
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0206164
    Název souboruStaženoVelikostKomentářVerzePřístup
    0372981.pdf172.1 MBVydavatelský postprintvyžádat
     
     
  3. 3.
    0372980 - ÚI 2012 RIV GB eng M - Část monografie knihy
    Běhounek, Libor - Cintula, Petr - Hájek, Petr
    Introduction to Mathematical Fuzzy Logic. Chapter 1.
    Handbook of Mathematical Fuzzy Logic. Vol. 1. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 1-101. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
    Grant CEP: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: mathematical fuzzy logic * propositional fuzzy logic * predicate fuzzy logic * metamathematics of fuzzy logic
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0206163
    Název souboruStaženoVelikostKomentářVerzePřístup
    0372980.pdf331.6 MBVydavatelský postprintvyžádat
     
     
  4. 4.
    0338830 - ÚI 2010 GB eng M - Část monografie knihy
    Cintula, Petr - Nývltová, Ludmila - Ramešová, Nina
    Bibliography of Petr Hájek.
    Witnessed Years: Essays in Honour of Petr Hájek. London: College Publications, 2009 - (Cintula, P.; Haniková, Z.; Švejdar, V.), s. 389-405. Tributes, 10. ISBN 978-1-904987-63-5
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: bibliography * Petr Hajek
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0182496
    Název souboruStaženoVelikostKomentářVerzePřístup
    0338830.pdf21.4 MBVydavatelský postprintpovolen
     
     
  5. 5.
    0321367 - ÚI 2009 RIV NL eng M - Část monografie knihy
    Cintula, Petr - Majer, Ondrej
    Towards Evaluation Games for Fuzzy Logics. Chapter 6.
    [Evaluační hry pro fuzzy logiky.]
    Games: Unifying Logic, Language, and Philosophy. New York: Springer Science+ Business Media B.V, 2009 - (Majer, O.; Pietarien, A.; Tulenheimo, T.), s. 117-138. Logic, Epistemology, and the Unity of Science, 15. ISBN 978-1-4020-9373-9
    Grant CEP: GA MŠMT(CZ) 1M0545; GA ČR GA401/04/0117
    Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z90090514
    Klíčová slova: game-theoretic semantics * evaluation games * fuzzy logic * Lukasiewicz logic
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0169937
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.