Výsledky vyhledávání
- 1.0432937 - ÚI 2015 RIV CH eng M - Část monografie knihy
Haniková, Zuzana
Petr Hájek: A Scientific Biography.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 21-38. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0237240Název souboru Staženo Velikost Komentář Verze Přístup 0432937.pdf 2 623.4 KB Autorský preprint vyžádat - 2.0432931 - ÚI 2015 RIV CH eng M - Část monografie knihy
Běhounek, Libor - Haniková, Zuzana
Set Theory and Arithmetic in Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 63-89. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
Grant CEP: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0237238Název souboru Staženo Velikost Komentář Verze Přístup 0432931.pdf 3 913.9 KB Autorský preprint vyžádat - 3.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/0237239Název souboru Staženo Velikost Komentář Verze Přístup 0432930.pdf 3 567.9 KB Autorský preprint vyžádat - 4.0372990 - ÚI 2012 RIV GB eng M - Část monografie knihy
Hájek, Petr - Montagna, F. - Noguera, C.
Arithmetical Complexity of First-Order Fuzzy Logics. Chapter 11.
Handbook of Mathematical Fuzzy Logic. Vol. 2. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 853-908. Studies in Logic - Mathematical Logic and Foundations, 38. ISBN 978-1-84890-054-7
Grant CEP: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Arithmetical Complexity * First-Order Fuzzy Logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0206171Název souboru Staženo Velikost Komentář Verze Přístup 0372990.pdf 4 1.3 MB Vydavatelský postprint vyžádat - 5.0372989 - ÚI 2012 RIV GB eng M - Část monografie knihy
Haniková, Zuzana
Computational Complexity of Propositional Fuzzy Logics. Chapter 10.
Handbook of Mathematical Fuzzy Logic. Vol. 2. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 793-851. Studies in Logic - Mathematical Logic and Foundations, 38. ISBN 978-1-84890-054-7
Grant CEP: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * propositional calculus * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0206170Název souboru Staženo Velikost Komentář Verze Přístup 0372989.pdf 0 1.3 MB Vydavatelský postprint vyžádat - 6.0372983 - ÚI 2012 RIV GB eng M - Část monografie knihy
Horčík, Rostislav
Algebraic Semantics: Semilinear FL-Algebras. Chapter 4.
Handbook of Mathematical Fuzzy Logic. Vol. 1. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 283-353. 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: FL-algebra * semilinear FL-algebra * representable FL-algebra * residuated lattice * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0206166Název souboru Staženo Velikost Komentář Verze Přístup 0372983.pdf 0 1.3 MB Autorský preprint vyžádat - 7.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/0206164Název souboru Staženo Velikost Komentář Verze Přístup 0372981.pdf 17 2.1 MB Vydavatelský postprint vyžádat - 8.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/0206163Název souboru Staženo Velikost Komentář Verze Přístup 0372980.pdf 33 1.6 MB Vydavatelský postprint vyžádat
Vědecká data: ResearchGate.com - ERRATA