Number of the records: 1
Some (Non)Tautologies of Lukasiewicz and Product Logic
- 1.
SYSNO ASEP 0343867 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Some (Non)Tautologies of Lukasiewicz and Product Logic Author(s) Hájek, Petr (UIVT-O) RID, SAI Source Title Review of Symbolic Logic. - : Cambridge University Press - ISSN 1755-0203
Roč. 3, č. 2 (2010), s. 273-278Number of pages 6 s. Language eng - English Country GB - United Kingdom Keywords Lukasiewicz logic ; product logic ; tautology ; (non)tautology Subject RIV BA - General Mathematics R&D Projects 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000278948200005 EID SCOPUS 79956120955 DOI 10.1017/S1755020309990414 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2011
Number of the records: 1