On finite models of the Lambek calculus (Q813074)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On finite models of the Lambek calculus |
scientific article |
Statements
On finite models of the Lambek calculus (English)
0 references
30 January 2006
0 references
The main result of the paper is a proof of the finite model property for the Lambek calculus with additive conjunction. This is a modification of \textit{W. Buszkowski}'s results for product-free fragments of the calculus [Math. Log. Q. 48, No. 1, 63--72 (2002; Zbl 0992.03029)]. In the paper under review, restricted cone frames are introduced. Next, the restriction of a canonical model by means of the restricted cone frames is described. Finally, using the models mentioned above, the main theorems concerning the finite model property for the Lambek calculus with product and some its axiomatic extensions are proved.
0 references
Lambek calculus
0 references
substructural logics
0 references
finite model property
0 references