|
|||||
|
|
Complexity of Lambek Calculi with Modalities and of Total Derivability in Grammars |
|
| Authors: | Dudakov S M Karlov B N Kuznetsov S L Fofanova E M |
| Institution: | 1.Tver State University, Tver, Russia ;2.Steklov Mathematical Institute, Russian Academy of Sciences, Moscow, Russia ;3.Lomonosov Moscow State University, Moscow, Russia ; |
| Abstract: | Algebra and Logic - The Lambek calculus with the unit can be defined as the atomic theory (algebraic logic) of the class of residuated monoids. This calculus, being a theory of a broader class of... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |