A Non-Arithmetical Gödel Logic

Počet záznamů: 1

1.

SYSNO ASEP	0405601
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	A Non-Arithmetical Gödel Logic
Překlad názvu	Nearitmetická Gödelova logika
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI}
Zdroj.dok.	Logic Journal of the IGPL. - : Oxford University Press - ISSN 1367-0751 Roč. 13, č. 4 (2005), s. 435-441
Poč.str.	7 s.
Jazyk dok.	eng - angličtina
Země vyd.	GB - Velká Británie
Klíč. slova	fuzzy logic ; Gödel logic ; arithmetical hierarchy
Vědní obor RIV	BA - Obecná matematika
CEP	IAA100300503 GA AV ČR - Akademie věd
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000242800500004
EID SCOPUS	33745459445
DOI	10.1093/jigpal/jzi033
Anotace	The Gödel predicate logic with countable set of values is shown to have non-arithmetical set of tautologies.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2006

Počet záznamů: 1