Number of the records: 1
Full Lambek Calculus with Contraction is Undecidable
- 1.0442807 - ÚI 2017 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Subject RIV: BA - General Mathematics
Impact factor: 0.511, year: 2016
Permanent Link: http://hdl.handle.net/11104/0245628File Download Size Commentary Version Access a0442807.pdf 8 369.7 KB Publisher’s postprint require
Number of the records: 1