Some (Non)Tautologies of Lukasiewicz and Product Logic

Autoři: Petr Hájek
Rok vydání: 2010
Typ publikace: Článek v odborném periodiku
Periodikum: Review of Symbolic Logic
Projekty: Institut Teoretické Informatiky
Bibliografická citace: HÁJEK, Petr. Some (Non)Tautologies of Lukasiewicz and Product Logic. Review of Symbolic Logic. 2010, 3(2), 273-278. ISSN 1755-0203. E-ISSN 1755-0211
Dostupné z: doi:10.1017/S1755020309990414
DOI: 10.1017/S1755020309990414
ID: 343867

Abstrakt

The paper presents a particular example of a formula which is a standard tautology of Lukasiewicz but not its general tautology; an example of a model in which the formula is not true is explicitly constructed. Analogous example of a formula and its model is given for product logic.