|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2011, Number 3, Pages 10–14
(Mi vmumm679)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Mathematics
The length of joins in Lambek calculus
A. A. Sorokin Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
In 1992, M. Pentus established a criterion for the existence of a type $C$ such that for given types $A$ and $B$ the sequents $A\to C$ and $B\to C$ are derivable in the Lambek calculus. In this paper we give an algorithm for construction of such a type $C$ (provided it exists) and prove a quadratic upper bound for its length.
Key words:
Lambek calculus, free group interpretation, conjoinability, join.
Received: 28.04.2010
Citation:
A. A. Sorokin, “The length of joins in Lambek calculus”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2011, no. 3, 10–14; Moscow University Mathematics Bulletin, 66:3 (2011), 101–104
Linking options:
https://www.mathnet.ru/eng/vmumm679 https://www.mathnet.ru/eng/vmumm/y2011/i3/p10
|
Statistics & downloads: |
Abstract page: | 37 | Full-text PDF : | 27 |
|