Full Lambek Calculus with Contraction is Undecidable

Počet záznamů: 1

1.

SYSNO ASEP	0442807
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve WOS
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. - : Cambridge University Press - ISSN 0022-4812 Roč. 81, č. 2 (2016), s. 524-540
Poč.str.	17 s.
Jazyk dok.	eng - angličtina
Země vyd.	US - Spojené státy americké
Klíč. slova	substructural logic ; full Lambek calculus ; contraction rule ; square-increasing residuated lattice ; equational theory ; decidability
Vědní obor RIV	BA - Obecná matematika
CEP	GAP202/11/1632 GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
UT WOS	000379947600008
EID SCOPUS	84977178290
DOI	https://doi.org/10.1017/jsl.2015.18
Anotace	We prove that the set of formulae provable in the full Lambek calculus with the structural rule of contraction is undecidable. In fact, we show that the positive fragment of this logic is undecidable.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2017

Počet záznamů: 1