On finite models of the Lambek calculus (Q813074)

From MaRDI portal
Revision as of 09:44, 24 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
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