Complexity of Lambek calculi with modalities and of total derivability in grammars (Q2066100)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity of Lambek calculi with modalities and of total derivability in grammars
scientific article

    Statements

    Complexity of Lambek calculi with modalities and of total derivability in grammars (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 January 2022
    0 references
    0 references
    Lambek calculus
    0 references
    substructural logic
    0 references
    exponential
    0 references
    relevant modality
    0 references
    algorithmic complexity
    0 references
    context-free grammars
    0 references
    total derivability
    0 references
    0 references