Number of the records: 1

On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics

SYSNO ASEP	0342154
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI}
Source Title	Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616 Roč. 56, č. 2 (2010), s. 171-174
Number of pages	4 s.
Language	eng - English
Country	DE - Germany
Keywords	mathematical fuzzy logic ; Gödel logic ; witnessed models ; arithmetical complexity
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	000276729000007
EID SCOPUS	77953340364
DOI	10.1002/malq.200810047
Annotation	Gödel (fuzzy) logics with truth sets being countable closed subsets of the unit real interval containing 0 and 1 are studied under their usual semantics and under the witnessed semantics, the latter admitting only models in which the truth value of each universally quantified formula is the minimum of truth values of its instances and dually for existential quantification and maximum. An infinite system of such truth sets is constructed such that under the usual semantics the corresponding logics have pairwise different sets of (standard) tautologies, all these sets being non-arithmetical, whereas under the witnessed semantics all the logics have the same set of tautologies and it is Pi2-complete.
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