Počet záznamů: 1
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
- 1.
SYSNO ASEP 0435915 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 Undecidability of Consequence Relation in Full Non-associative Lambek Calculus Tvůrce(i) Chvalovský, Karel (UIVT-O) SAI, RID, ORCID Zdroj.dok. Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812
Roč. 80, č. 2 (2015), s. 567-586Poč.str. 20 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova substructural logics ; consequence relation ; undecidability ; tag systems ; word problem ; rewriting systems Vědní obor RIV BA - Obecná matematika CEP GAP202/10/1826 GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000353308800009 EID SCOPUS 84928563737 DOI https://doi.org/10.1017/jsl.2014.39 Anotace We prove that the consequence relation in the Full Non-associative Lambek Calculus is undecidable. An encoding of the halting problem for 2-tag systems using finitely many sequents in the language {., V} is presented. Therefore already the consequence relation in this fragment is undecidable. Moreover, the construction works even when the structural rules of exchange and contraction are added. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2016
Počet záznamů: 1