Výsledky vyhledávání
- 1.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 - 2.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 - 3.0084544 - ÚI 2008 PL eng A - Abstrakt
Hájek, Petr
Complexity of Fuzzy Predicate Logics with Witnessed Semantics.
Logic Colloquium 2007. Book of Abstracts. Wroclaw: Universitet Wroclawski, 2007. s. 49-49.
[Logic Colloquium 2007. 14.07.2007-19.07.2007, Wroclaw]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * witnessed models
Trvalý link: http://hdl.handle.net/11104/0147279Název souboru Staženo Velikost Komentář Verze Přístup 084544-h.pdf 1 111.6 KB Vydavatelský postprint vyžádat - 4.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 - 5.0041857 - ÚI 2007 RIV US eng J - Článek v odborném periodiku
Hájek, Petr - Cintula, Petr
On Theories and Models in Fuzzy Predicate Logics.
[O teoriích a modelech v predikátových fuzzy logikách.]
Journal of Symbolic Logic. Roč. 71, č. 3 (2006), s. 863-880. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * model theory * witnessed models * conservative extension * completeness theorem
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.664, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0135210Název souboru Staženo Velikost Komentář Verze Přístup 0041857.pdf 21 757.9 KB Autorský preprint povolen - 6.0032265 - ÚI 2007 IT eng A - Abstrakt
Hájek, Petr
On Witnessed Models in Fuzzy Predicate Logics.
Algebraic and Logical Foundations of Many-Valued Reasoning. Milano: Universitadegli Studi di Milano, 2006. s. 24-24.
[ManyVal'06. International conference in Honour Of Daniele Mundici on the Occasion of his 60th Birthday. 20.03.2006-22.03.2006, Gargano]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy predicate logic * witnessed models
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0132824Název souboru Staženo Velikost Komentář Verze Přístup 0032265-h-onl.pdf 0 31.2 KB volně online / free online Vydavatelský postprint povolen