Full Lambek Calculus with Contraction is Undecidable

0442807 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with Contraction is Undecidable.
Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.511, rok: 2016

Citováno: 2

--- WIJNHOLDS, G. - SADRZADEH, M. Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. ISSN 2075-2180, 2018, no. 283, p. 103-119. [WOS]
--- SHKATOV, D. - VAN ALTEN, C.J. Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. ALGEBRA UNIVERSALIS. ISSN 0002-5240, AUG 6 2019, vol. 80, no. 3. [WOS]

Trvalý link: http://hdl.handle.net/11104/0245628