Výsledky vyhledávání
- 1.0405601 - UIVT-O 330981 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
A Non-Arithmetical Gödel Logic.
[Nearitmetická Gödelova logika.]
Logic Journal of the IGPL. Roč. 13, č. 4 (2005), s. 435-441. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * Gödel logic * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.382, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125752 - 2.0404692 - UIVT-O 20020158 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Relativistic Computers and Non-Uniform Complexity Theory.
Unconventional Models of Computation. Berlin: Springer, 2002 - (Calude, C.; Dinneen, M.; Peper, F.), s. 287-299. Lecture Notes in Computer Science, 2509. ISBN 3-540-44311-8. ISSN 0302-9743.
[UMC'02. Unconvential Models of Computation /3./. Kobe (JP), 15.10.2002-19.10.2002]
Grant CEP: GA ČR GA201/02/1456
Grant ostatní: ALCOM-FT(XE) IST-1999-14186
Výzkumný záměr: AV0Z1030915
Klíčová slova: relativistic computing * Turing machine * computability * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124931 - 3.0404064 - UIVT-O 20020007 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Monadic Fuzzy Predicate Logics.
Studia Logica. Roč. 71, č. 2 (2002), s. 165-175. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA MŠMT LN00A056
Klíčová slova: fuzzy logic * monadic logic * completeness * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124337 - 4.0403958 - UIVT-O 20010016 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Fuzzy Logic and Arithmetical Hierarchy III.
Studia Logica. Roč. 68, č. 1 (2001), s. 129-142. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124243 - 5.0402831 - UIVT-O 980007 RIV PL eng J - Článek v odborném periodiku
Baaz, M. - Hájek, Petr - Krajíček, Jan - Švejda, David
Embedding Logics into Product Logic.
Studia Logica. Roč. 61, č. 1 (1998), s. 35-47. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA AV ČR IAA1030601
Grant ostatní: COST(XE) Action 15
Klíčová slova: fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0123207Název souboru Staženo Velikost Komentář Verze Přístup a0402831.pdf 2 580.4 KB Vydavatelský postprint vyžádat - 6.0368246 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
van Leeuwen, J. - Wiedermann, Jiří
Computation as an Unbounded Process.
Theoretical Computer Science. Roč. 429, 20 April (2012), s. 202-212. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: arithmetical hierarchy * hypercomputation * mind change complexity * nondeterminism * relativistic computation * unbounded computation
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.489, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0202642 - 7.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 - 8.0322753 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II.
[Aritmetická složitost fuzzy predikátových logik - přehled II.]
Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 212-219. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy predicate logics * arithmetical hierarchy * tautologies
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.667, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0170919 - 9.0307441 - ÚI 2008 AR eng A - Abstrakt
Hájek, Petr
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.
Residuated Structures: Algebra and Logic. Buenos Aires: Instituto Argentino de Matemática, 2008. s. 10-10.
[International Conference on Residuated Structures: Algebra and Logic. 16.04.2008-19.04.2008, Buenos Aires]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Lukasiewicz logic * computational complexity * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0160207 - 10.0103337 - UIVT-O 20040078 RIV DE eng M - Část monografie knihy
Hájek, Petr
Fuzzy Logic and Arithmetical Hierarchy IV.
[Fuzzy logika a aritmetická hierarchie IV.]
First-Order Logic Revisited. Berlin: Logos Verlag, 2004 - (Hendricks, V.; Neuhaus, F.; Pedersen, S.; Scheffler, U.; Wansing, H.), s. 107-115. ISBN 3-8325-0475-3
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010647