|
Fundamentalnaya i Prikladnaya Matematika, 1999, Volume 5, Issue 1, Pages 193–219
(Mi fpm374)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
Completeness of the Lambek syntactic calculus
M. R. Pentus M. V. Lomonosov Moscow State University
Abstract:
In this paper we prove that the Lambek syntactic calculus is complete with respect to free semigroup models, i. e. it derives exactly all identities concerning multiplication, left division, and right division of formal languages.
Received: 01.10.1998
Citation:
M. R. Pentus, “Completeness of the Lambek syntactic calculus”, Fundam. Prikl. Mat., 5:1 (1999), 193–219
Linking options:
https://www.mathnet.ru/eng/fpm374 https://www.mathnet.ru/eng/fpm/v5/i1/p193
|
Statistics & downloads: |
Abstract page: | 357 | Full-text PDF : | 178 | First page: | 1 |
|