Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503)

From MaRDI portal
Revision as of 19:07, 30 April 2024 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article; zbMATH DE number 7818975
Language Label Description Also known as
English
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
scientific article; zbMATH DE number 7818975

    Statements

    Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (English)
    0 references
    0 references
    14 March 2024
    0 references
    Lambek calculus
    0 references
    subexponentials
    0 references
    canonical extensions
    0 references
    residuated lattices
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references