A ground many-valued type theory and its extensions

Počet záznamů: 1

1.

SYSNO	0427494
Název	A ground many-valued type theory and its extensions
Tvůrce(i)	Běhounek, Libor (UIVT-O)_{RID, SAI, ORCID}
Zdroj.dok.	Graded Logical Approaches and Their Applications. S. 15-18. - Linz : Johannes Kepler Universität, 2014 / Flaminio T. ; Godo L. ; Gottwald S. ; Klement E.P.
Konference	Linz Seminar on Fuzzy Set Theory /35./, Linz, 18.02.2014-22.02.2014
Druh dok.	Abstrakt
Grant	ED1.1.00/02.0070 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
	EE2.3.30.0010
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	AT
Klíč.slova	type theory * many-valued logics * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu
Trvalý link	http://hdl.handle.net/11104/0233024

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0427494.pdf	0	96.6 KB		Vydavatelský postprint	povolen

Počet záznamů: 1