Number of the records: 1
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
- 1.0435915 - ÚI 2016 RIV US eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Impact factor: 0.510, year: 2015
Cited: 1
--- BUSZKOWSKI, W. On Classical Nonassociative Lambek Calculus. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS: CELEBRATING 20 YEARS OF LACL (1996-2016). ISSN 0302-9743, 2016, vol. 10054, p. 68-84. [WOS]
Permanent Link: http://hdl.handle.net/11104/0239734File Download Size Commentary Version Access a0435915.pdf 5 373.1 KB Publisher’s postprint require 0435915.pdf 2 1 MB Author´s preprint require
Number of the records: 1