Full Lambek Calculus with Contraction is Undecidable

Number of the records: 1

1.

SYSNO	0442807
Title	Full Lambek Calculus with Contraction is Undecidable
Author(s)	Chvalovský, Karel (UIVT-O)_{SAI, RID, ORCID} Horčík, Rostislav (UIVT-O)_{SAI, RID}
Source Title	Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. - : Cambridge University Press
Document Type	Článek v odborném periodiku
Grant	GAP202/11/1632 GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	US
Keywords	substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Permanent Link	http://hdl.handle.net/11104/0245628

	File	Download	Size	Commentary	Version	Access
	a0442807.pdf	8	369.7 KB		Publisher’s postprint	require

Number of the records: 1