Výsledky vyhledávání
- 1.0392459 - MÚ 2014 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
The complexity of admissible rules of Łukasiewicz logic.
Journal of Logic and Computation. Roč. 23, č. 3 (2013), s. 693-705. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA AV ČR IAA100190902; GA AV ČR IAA900090703; GA MŠMT(CZ) 1M0545
Institucionální podpora: RVO:67985840
Klíčová slova: Łukasiewicz logic * admissible rule * bases of admissible rules
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.504, rok: 2013
http://logcom.oxfordjournals.org/content/23/3/693
Trvalý link: http://hdl.handle.net/11104/0221328Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 226.3 KB Vydavatelský postprint vyžádat - 2.0351058 - MÚ 2011 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
Bases of admissible rules of Łukasiewicz logic.
Journal of Logic and Computation. Roč. 20, č. 6 (2010), s. 1149-1163. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Łukasiewicz logic * admissible rule * bases of admissible rules
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.586, rok: 2010
http://logcom.oxfordjournals.org/content/20/6/1149
Trvalý link: http://hdl.handle.net/11104/0190892Název souboru Staženo Velikost Komentář Verze Přístup Jerabek3.pdf 4 153.2 KB Vydavatelský postprint vyžádat - 3.0350483 - ÚI 2011 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Metcalfe, G.
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic.
Annals of Pure and Applied Logic. Roč. 162, č. 2 (2010), s. 162-171. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: intuitionistic logic * intermediate logics * admissible rules * structural completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.646, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0190481Název souboru Staženo Velikost Komentář Verze Přístup 0350483.pdf 8 683.8 KB Autorský preprint povolen - 4.0343478 - MÚ 2011 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
Admissible Rules of Lukasiewicz Logic.
Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 425-447. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: linear temporal logic * unification * consecutions
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.586, rok: 2010
http://logcom.oxfordjournals.org/content/20/2/425
Trvalý link: http://hdl.handle.net/11104/0185948Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 9 294.3 KB Autorský postprint vyžádat - 5.0334065 - FLÚ 2010 NL eng J - Článek v odborném periodiku
van Ditmarsch, H. - Hill, B. - Majer, Ondrej
Logic of change, change of logic.
[Logika změny, změna logiky.]
Synthese. Roč. 171, č. 2 (2009), s. 227-237. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GA401/07/0904; GA AV ČR(CZ) IAA900090703
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: logic * belief revision * dynamic logic * preference change
Kód oboru RIV: AA - Filosofie a náboženství
Impakt faktor: 0.729, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0178899 - 6.0332835 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Bílková, Marta - De Jongh, D. - Joosten, J.J.
Interpretability in PRA.
[Interpretovatelnost v PRA.]
Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 128-138. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA900090703
Grant ostatní: GA ČR(CZ) GA401/06/0387
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: interpretability * arithmetic * primitive recursive arithmetic * interpretability logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.667, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0177966 - 7.0330849 - MÚ 2010 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
Canonical Rules.
[Kanonická pravidla.]
Journal of Symbolic Logic. Roč. 74, č. 4 (2009), s. 1171-1205. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: inference rule * modal logic * intermediate logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.631, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0176537Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 1 12.9 MB Vydavatelský postprint vyžádat