Number of the records: 1

Some (Non)Tautologies of Lukasiewicz and Product Logic

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-278
Number 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