Výsledky vyhledávání
- 1.0404177 - UIVT-O 20010041 RIV DE eng J - Článek v odborném periodiku
Kramosil, Ivan
Boolean-Like and Frequentistic Nonstandard Semantics for First-Order Predicate Calculus without Functions.
Soft Computing. Roč. 5, č. 1 (2001), s. 45-57. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA AV ČR IAA1030803
Výzkumný záměr: AV0Z1030915
Klíčová slova: first-order predicate calculus * standard semantics * Boolean-like semantics * frequentistic semantics * completness theorems
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124444Název souboru Staženo Velikost Komentář Verze Přístup a0404177.pdf 0 204.1 KB Vydavatelský postprint 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.0310558 - ÚI 2009 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr - Montagna, F.
A Note on the First-Order Logic of Complete BL-Chains.
[Poznámka o prvořádové logice úplných BL-algeber.]
Mathematical Logic Quarterly. Roč. 54, č. 4 (2008), s. 435-446. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: first-order fuzzy logics * standard semantics * complete BL-chains
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.459, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0162384 - 4.0103380 - UIVT-O 20040121 RIV DE eng M - Část monografie knihy
Hájek, Petr
A True Unprovable Formula of Fuzzy Predicate Logic.
[Pravdivá nedokazatelná formule fuzzy predikátové logiky.]
Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Berlin: Springer, 2004 - (Lenski, W.), s. 1-5. Lecture Notes in Computer Science, 3075. ISBN 3-540-22562-5
Grant CEP: GA MŠMT LN00A056
Klíčová slova: fuzzy logic * product logic * incompleteness * standard semantics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010689