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

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11225-005-6776-4 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11225-005-6776-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2062909262 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Decision Problems in the Theory of Syntactic Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: The finite model property for BCI and related systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite Models of Some Substructural Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Completeness Theorem for the Lambek Calculus of Syntactic Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: The finite model property for various fragments of linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Mathematics of Sentence Structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: The finite model property for BCK and BCIW / rank
 
Normal rank
Property / cites work
 
Property / cites work: The finite model property for various fragments of intuitionistic linear logic / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11225-005-6776-4 / rank
 
Normal rank

Latest revision as of 09:43, 9 December 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