Výsledky vyhledávání
- 1.0405075 - UIVT-O 20030078 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr - Novák, V.
The Sorites Paradox and Fuzzy Logic.
International Journal of General Systems. Roč. 32, č. 4 (2003), s. 373-383. ISSN 0308-1079. E-ISSN 1563-5104
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: sorites paradox * basic fuzzy logic * fuzzy logic in narrow sense * Peano arithmetic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.172, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0125290 - 2.0337050 - MÚ 2010 RIV US eng J - Článek v odborném periodiku
Hrubeš, Pavel
Kreisel's conjecture with minimality principle.
[Kreiselova domněnkas principem minimality.]
Journal of Symbolic Logic. Roč. 74, č. 3 (2009), s. 976-988. ISSN 0022-4812. E-ISSN 1943-5886
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Peano arithmetic * length of proof * Kreisel's conjecture
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.631, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0181139Název souboru Staženo Velikost Komentář Verze Přístup Hrubes.pdf 1 142.9 KB Vydavatelský postprint vyžádat - 3.0308900 - FLÚ 2008 RIV CZ eng M - Část monografie knihy
Peregrin, Jaroslav
Logic and nothing else.
[Logika a nic jiného.]
The Logica Yearbook 2007. Praha: Filosofia, 2008 - (Peliš, M.), s. 111-118. ISBN 978-80-7007-281-3
Grant CEP: GA ČR(CZ) GA401/07/0904
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: Peano arithmetic * mathematical induction * logical analysis
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0161212 - 4.0039356 - MÚ 2007 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel
Consistency and games - in search of new combinatorial principles.
[Bezespornost a hry - hledání nových kombinatorických principů.]
Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Wellesley: Association for Symbolic Logic, 2006 - (Stoltenberg-Hansen, V.; Väänänen, J.), s. 244-281. Lecture Notes in Logic, 24. ISBN 1-56881-293-0.
[Logic Colloquium 2003. Helsinki (FI), 14.08.2003-20.08.2003]
Grant CEP: GA AV ČR(CZ) IAA1019401; GA ČR(CZ) GA201/01/1195; GA ČR GD401/03/H047
Výzkumný záměr: CEZ:AV0Z1019905
Klíčová slova: independent sentences * peano arithmetic * bounded arithmetic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0133466Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 4.6 MB Autorský postprint povolen