Vytisknout
0343867 - ÚI 2011 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
Some (Non)Tautologies of Lukasiewicz and Product Logic.
Review of Symbolic Logic. Roč. 3, č. 2 (2010), s. 273-278. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Lukasiewicz logic * product logic * tautology * (non)tautology
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.433, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0186242
Hájek, Petr
Some (Non)Tautologies of Lukasiewicz and Product Logic.
Review of Symbolic Logic. Roč. 3, č. 2 (2010), s. 273-278. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Lukasiewicz logic * product logic * tautology * (non)tautology
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.433, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0186242