|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
$L$-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
S. Kuznetsov Moscow State University, Russia
Аннотация:
In this paper we prove that the Lambek calculus allowing empty antecedents and enriched with a unary connective corresponding to language reversal is complete with respect to the class of models on subsets of free monoids ($L$-models).
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/lncs14
|
Статистика просмотров: |
Страница аннотации: | 89 |
|