Počet záznamů: 1

Towards Metamathematics of Weak Arithmetics over Fuzzy Logic

SYSNO	0357712
Název	Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
Aut.údaje	aut. Petr Hájek
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI}
Zdroj.dok.	Logic Journal of the IGPL. Roč. 19, č. 3 (2011), s. 467-475. - : Oxford University Press
Druh dok.	Článek v odborném periodiku
Grant	IAA100300503 GA AV ČR - Akademie věd
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	weak arithmetics * mathematical fuzzy logic * Gödel’s theorem * essential undecidability
Trvalý link	http://hdl.handle.net/11104/0195911

Počet záznamů: 1