Počet záznamů: 1  

Some (Non)Tautologies of Lukasiewicz and Product Logic

  1. 1.
    SYSNO ASEP0343867
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    NázevSome (Non)Tautologies of Lukasiewicz and Product Logic
    Tvůrce(i)Hájek, Petr (UIVT-O)
    Rozsah stran273 - 278
    Zdroj.dok.Review of Symbolic Logic - ISSN 1755-0203
    Poč.str.6 s.
    Jazyk dok.eng - angličtina
    Země vyd.GB - Velká Británie
    Klíč. slovaLukasiewicz logic ; product logic ; tautology ; (non)tautology
    Vědní obor RIVBA - Obecná matematika
    CEP1M0545 GA MŠk - Ministerstvo školství, mládeže a tělovýchovy
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    UTISI000278948200005
    UT SCOPUS79956120955
    DOI10.1017/S1755020309990414
    AnotaceThe 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.
    PracovištěÚstav informatiky
    KontaktNina Ramešová, knihovna@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2011