On finite models of the Lambek calculus (Q813074): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:17, 5 March 2024

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
    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

    Identifiers