Vytisknout
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/0185948
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/0185948