Výsledky vyhledávání
- 1.0405556 - UIVT-O 330935 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey.
[Aritmetická složitost fuzzy predikátové logiky - přehled.]
Soft Computing. Roč. 9, č. 12 (2005), s. 935-941. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy predicate logic * arithmetical complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.538, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125711 - 2.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 - 3.0342154 - ÚI 2011 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr
On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics.
Mathematical Logic Quarterly. Roč. 56, č. 2 (2010), s. 171-174. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * Gödel logic * witnessed models * arithmetical complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.361, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0184967 - 4.0306025 - ÚI 2008 US eng A - Abstrakt
Hájek, Petr
Complexity of Fuzzy Predicate Logics with Witnessed Semantics.
Bulletin of Symbolic Logic. Cambridge University Press. Roč. 14, č. 1 (2008), s. 141-141. ISSN 1079-8986. E-ISSN 1943-5894
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: arithmetical complexity * fuzzy logic
https://www.jstor.org/stable/40039618
Trvalý link: http://hdl.handle.net/11104/0159131 - 5.0086272 - ÚI 2008 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr
On Witnessed Models in Fuzzy Logic II.
[O dosvědčených modelech fuzzy logiky II.]
Mathematical Logic Quarterly. Roč. 53, č. 6 (2007), s. 610-615. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * rational Lukasiewitz logic * product logic * witnessed models * arithmetical complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.317, rok: 2007
Trvalý link: http://hdl.handle.net/11104/0148583 - 6.0083483 - ÚI 2008 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr
On Arithmetical Complexity of Fragments of Prominent Fuzzy Predicate Logics.
[O aritmetické složitosti fragmentů prominentních fuzzy logik.]
Soft Computing. Roč. 12, č. 4 (2008), s. 335-340. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * predicate logic * arithmetical complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.984, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0146708 - 7.0049229 - ÚI 2007 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr
On Witnessed Models in Fuzzy Logic.
[O dosvědčených modelech fuzzy logiky.]
Mathematical Logic Quarterly. Roč. 53, č. 1 (2007), s. 66-77. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * witnessed models * completeness * arithmetical complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.317, rok: 2007
Trvalý link: http://hdl.handle.net/11104/0139676