Search results
- 1.0392459 - MÚ 2014 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100190902; GA AV ČR IAA900090703; GA MŠMT(CZ) 1M0545
Institutional support: RVO:67985840
Keywords : Łukasiewicz logic * admissible rule * bases of admissible rules
Subject RIV: BA - General Mathematics
Impact factor: 0.504, year: 2013
http://logcom.oxfordjournals.org/content/23/3/693
Permanent Link: http://hdl.handle.net/11104/0221328File Download Size Commentary Version Access Jerabek1.pdf 1 226.3 KB Publisher’s postprint require - 2.0351058 - MÚ 2011 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10190503
Keywords : Łukasiewicz logic * admissible rule * bases of admissible rules
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2010
http://logcom.oxfordjournals.org/content/20/6/1149
Permanent Link: http://hdl.handle.net/11104/0190892File Download Size Commentary Version Access Jerabek3.pdf 4 153.2 KB Publisher’s postprint require - 3.0350483 - ÚI 2011 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : intuitionistic logic * intermediate logics * admissible rules * structural completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.646, year: 2010
Permanent Link: http://hdl.handle.net/11104/0190481File Download Size Commentary Version Access 0350483.pdf 8 683.8 KB Author´s preprint open-access - 4.0343478 - MÚ 2011 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10190503
Keywords : linear temporal logic * unification * consecutions
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2010
http://logcom.oxfordjournals.org/content/20/2/425
Permanent Link: http://hdl.handle.net/11104/0185948File Download Size Commentary Version Access Jerabek1.pdf 9 294.3 KB Author’s postprint require - 5.0334065 - FLÚ 2010 NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA401/07/0904; GA AV ČR(CZ) IAA900090703
Institutional research plan: CEZ:AV0Z90090514
Keywords : logic * belief revision * dynamic logic * preference change
Subject RIV: AA - Philosophy ; Religion
Impact factor: 0.729, year: 2009
Permanent Link: http://hdl.handle.net/11104/0178899 - 6.0332835 - ÚI 2010 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA900090703
Grant - others:GA ČR(CZ) GA401/06/0387
Institutional research plan: CEZ:AV0Z10300504
Keywords : interpretability * arithmetic * primitive recursive arithmetic * interpretability logic
Subject RIV: BA - General Mathematics
Impact factor: 0.667, year: 2009
Permanent Link: http://hdl.handle.net/11104/0177966 - 7.0330849 - MÚ 2010 RIV US eng J - Journal Article
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
R&D Projects: GA AV ČR IAA900090703; GA AV ČR IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : inference rule * modal logic * intermediate logic
Subject RIV: BA - General Mathematics
Impact factor: 0.631, year: 2009
Permanent Link: http://hdl.handle.net/11104/0176537File Download Size Commentary Version Access Jerabek2.pdf 1 12.9 MB Publisher’s postprint require