Some (Non)Tautologies of Lukasiewicz and Product Logic

Hájek Petr



Název
Some (Non)Tautologies of Lukasiewicz and Product Logic
Autor
lupa Hájek Petr UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Review of Symbolic Logic. Roč. 3, č. 2 (2010), s. 273-278
Vyd.údaje
6 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
Lukasiewicz logic * product logic * tautology * (non)tautology
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0186242