Search results

  1. 1.
    0432930 - ÚI 2015 RIV CH eng M - Monography Chapter
    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
    R&D Projects: GA ČR GAP202/10/1826; GA ČR GA13-14654S
    EU Projects: European Commission(XE) 247584 - MATOMUVI
    Grant - others:MICINN project TASSAT(XE) TIN2010-20967-C04-01
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0237239
    FileDownloadSizeCommentaryVersionAccess
    0432930.pdf3567.9 KBAuthor´s preprintrequire
     
     
  2. 2.
    0372981 - ÚI 2012 RIV GB eng M - Monography Chapter
    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
    R&D Projects: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : mathematical fuzzy logic * weakly implicative logics * abstract algebraic logic * non-classical logics * semilinear logics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0206164
    FileDownloadSizeCommentaryVersionAccess
    0372981.pdf172.1 MBPublisher’s postprintrequire
     
     
  3. 3.
    0372980 - ÚI 2012 RIV GB eng M - Monography Chapter
    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
    R&D Projects: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : mathematical fuzzy logic * propositional fuzzy logic * predicate fuzzy logic * metamathematics of fuzzy logic
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0206163
    FileDownloadSizeCommentaryVersionAccess
    0372980.pdf331.6 MBPublisher’s postprintrequire
     
     
  4. 4.
    0338830 - ÚI 2010 GB eng M - Monography Chapter
    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
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : bibliography * Petr Hajek
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0182496
    FileDownloadSizeCommentaryVersionAccess
    0338830.pdf21.4 MBPublisher’s postprintopen-access
     
     
  5. 5.
    0321367 - ÚI 2009 RIV NL eng M - Monography Chapter
    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
    R&D Projects: GA MŠMT(CZ) 1M0545; GA ČR GA401/04/0117
    Institutional research plan: CEZ:AV0Z10300504; CEZ:AV0Z90090514
    Keywords : game-theoretic semantics * evaluation games * fuzzy logic * Lukasiewicz logic
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0169937
     
     


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