Počet záznamů: 1

Some (Non)Tautologies of Lukasiewicz and Product Logic

  1. 1.
    0343867 - UIVT-O 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
    Grant CEP: GA MŠk(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