Number of the records: 1
Full Lambek Calculus with Contraction is Undecidable
- 1.CHVALOVSKÝ, K., HORČÍK, R. Full Lambek Calculus with Contraction is Undecidable. Journal of Symbolic Logic. 2016, 81(2), 524-540. ISSN 0022-4812. E-ISSN 1943-5886. Available: doi: 10.1017/jsl.2015.18
Number of the records: 1