Chvalovský, Karel
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA ČR GAP202/10/1826
Impact factor: 0.510, year: 2015 ; AIS: 0.724, rok: 2015
DOI: https://doi.org/10.1017/jsl.2014.39
http://hdl.handle.net/11104/0239734