Number of the records: 1

Undecidability of Consequence Relation in Full Non-associative Lambek Calculus

SYSNO	0435915
Title	Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
Author(s)	Chvalovský, Karel (UIVT-O)_{SAI, RID, ORCID}
Source Title	Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. - : Cambridge University Press
Document Type	Článek v odborném periodiku
Grant	GAP202/10/1826 GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	US
Keywords	substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Permanent Link	http://hdl.handle.net/11104/0239734

	File	Download	Size	Commentary	Version	Access
	a0435915.pdf	5	373.1 KB		Publisher’s postprint	require
	0435915.pdf	2	1 MB		Author´s preprint	require

Number of the records: 1