Abstract
Basic categorial grammars are enriched with a conjunction operation, and it is proved that the formalism obtained in this way has the same expressive power as conjunctive grammars, that is, context-free grammars enhanced with conjunction. It is also shown that categorial grammars with conjunction can be naturally embedded into the Lambek calculus with conjunction and disjunction operations. This further implies that a certain NP-complete set can be defined in the Lambek calculus with conjunction.
Cite
CITATION STYLE
Kuznetsov, S., & Okhotin, A. (2017). Conjunctive categorial grammars. In MOL 2017 - 15th Meeting on the Mathematics of Language, Proceedings of the Conference (pp. 140–151). Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/w17-3414
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
