Full Lambek Calculus with Contraction is Undecidable

Počet záznamů: 1

1.

SYSNO	0442807
Název	Full Lambek Calculus with Contraction is Undecidable
Tvůrce(i)	Chvalovský, Karel (UIVT-O)_{SAI, RID, ORCID} Horčík, Rostislav (UIVT-O)_{SAI, RID}
Zdroj.dok.	Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
Grant	GAP202/11/1632 GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Trvalý link	http://hdl.handle.net/11104/0245628

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0442807.pdf	8	369.7 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1