On finite models of the Lambek calculus (Q813074)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5002523
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On finite models of the Lambek calculus |
scientific article; zbMATH DE number 5002523 |
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
0.8299144506454468
0 references
0.8298383951187134
0 references
0.8288495540618896
0 references
0.8213748931884766
0 references
0.805025577545166
0 references
