The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The multiplicative-additive Lambek calculus with subexponential and bracket modalities
scientific article

    Statements

    The multiplicative-additive Lambek calculus with subexponential and bracket modalities (English)
    0 references
    0 references
    0 references
    0 references
    25 June 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    Lambek calculus
    0 references
    categorial grammars
    0 references
    subexponential modalities
    0 references
    bracket modalities
    0 references
    undecidability
    0 references
    cut elimination
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references