Výsledky vyhledávání
- 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/0237239Název souboru Staženo Velikost Komentář Verze Přístup 0432930.pdf 3 567.9 KB Autorský preprint vyžádat - 2.0328435 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Hájek, Petr
Triangular Norm Based Predicate Fuzzy Logics.
[T-normové predikátové fuzzy logiky.]
Fuzzy Sets and Systems. Roč. 161, č. 3 (2010), s. 311-346. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR KJB100300502; GA ČR GEICC/08/E018; GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * predicate logics * t-norms * standard semantics * arithmetical hierarchy * core fuzzy logics * model theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.875, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0174750Název souboru Staženo Velikost Komentář Verze Přístup 0328435.pdf 8 859.3 KB Autorský preprint povolen - 3.0084552 - ÚI 2008 US eng A - Abstrakt
Cintula, Petr
Algebraic Characterization of Completeness Properties for Core Fuzzy Logics II: Predicate Logics.
OAL 2007 Book of abstracts. Nashville: Vanderbilt University, 2007. s. 18-18.
[OAL 2007. International Conference on Order, Algebra and Logics. 12.06.2007-16.06.2007, Nashville]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: completeness * core fuzzy logics * first-order fuzzy logics
Trvalý link: http://hdl.handle.net/11104/0147285