Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic

Cintula Petr



Název
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
Překlad názvu
Problémy složitosti v axiomatických rozšířeních Lukasiewiczovy logiky
Autor
lupa Cintula Petr UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Hájek Petr UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 245-260
Vyd.údaje
16 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
Lukasiewicz logic * computational complexity * Komori algebras * MV-algebras
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0162395