Počet záznamů: 1

Admissible Rules of Lukasiewicz Logic

SYSNO	0343478
Název	Admissible Rules of Lukasiewicz Logic
Tvůrce(i)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Zdroj.dok.	Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 425-447
Druh dok.	Článek v odborném periodiku
Grant	IAA900090703 GA AV ČR - Akademie věd
	IAA100190902 GA AV ČR - Akademie věd
	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	linear temporal logic * unification * consecutions
URL	http://logcom.oxfordjournals.org/content/20/2/425
Trvalý link	http://hdl.handle.net/11104/0185948

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Jerabek1.pdf	9	294.3 KB		Autorský postprint	vyžádat

Počet záznamů: 1