Number of the records: 1
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
- 1.Chvalovský, K. Undecidability of Consequence Relation in Full Non-associative Lambek Calculus. Journal of Symbolic Logic. 2015, 80(2), 567-586. ISSN 0022-4812. E-ISSN 1943-5886. Available: doi: 10.1017/jsl.2014.39
Number of the records: 1