Admissible Rules of Lukasiewicz Logic

Jeřábek Emil



Název
Admissible Rules of Lukasiewicz Logic
Autor
lupa Jeřábek Emil MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 425-447
Vyd.údaje
23 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
linear temporal logic * unification * consecutions
URL
http://logcom.oxfordjournals.org/content/20/2/425
Databáze
zj - Článek v odborném časopise
URL
http://logcom.oxfordjournals.org/content/20/2/425
Trvalý link
http://hdl.handle.net/11104/0185948