Počet záznamů: 1
Some (Non)Tautologies of Lukasiewicz and Product Logic
- 1.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
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.
Trvalý link: http://hdl.handle.net/11104/0186242
Počet záznamů: 1