Number of the records: 1

Some (Non)Tautologies of Lukasiewicz and Product Logic

  1. 1.
    0343867 - UIVT-O 2011 RIV GB eng J - Journal Article
    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
    R&D Projects: GA MŠk(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : Lukasiewicz logic * product logic * tautology * (non)tautology
    Subject RIV: BA - General Mathematics
    Impact factor: 0.433, year: 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.
    Permanent Link: http://hdl.handle.net/11104/0186242