Počet záznamů: 1

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

SYSNO ASEP	0342154
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	On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI}
Zdroj.dok.	Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616 Roč. 56, č. 2 (2010), s. 171-174
Poč.str.	4 s.
Jazyk dok.	eng - angličtina
Země vyd.	DE - Německo
Klíč. slova	mathematical fuzzy logic ; Gödel logic ; witnessed models ; arithmetical complexity
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	000276729000007
EID SCOPUS	77953340364
DOI	10.1002/malq.200810047
Anotace	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.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2011

Počet záznamů: 1