Počet záznamů: 1
Some (Non)Tautologies of Lukasiewicz and Product Logic
- 1.
SYSNO ASEP 0343867 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Some (Non)Tautologies of Lukasiewicz and Product Logic Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Review of Symbolic Logic. - : Cambridge University Press - ISSN 1755-0203
Roč. 3, č. 2 (2010), s. 273-278Poč.str. 6 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Lukasiewicz logic ; product logic ; tautology ; (non)tautology Vědní obor RIV BA - Obecná matematika CEP 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000278948200005 EID SCOPUS 79956120955 DOI 10.1017/S1755020309990414 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2011
Počet záznamů: 1