|
This article is cited in 2 scientific papers (total in 2 papers)
L-completeness of the Lambek calculus with the reversal operation
S. Kuznetsov Moscow State University
Abstract:
We extend the Lambek calculus with rules for a unary operation corresponding to language reversal and prove that this calculus is complete with respect to the class of models on subsets of free semigroups (L-models). We also prove that categorial grammars based on this calculus generate precisely all context-free languages without the empty word.
Linking options:
https://www.mathnet.ru/eng/lncs11
|
Statistics & downloads: |
Abstract page: | 87 |
|