Non decomposable connectives of linear logic (Q2326414)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Non decomposable connectives of linear logic
scientific article

    Statements

    Non decomposable connectives of linear logic (English)
    0 references
    0 references
    7 October 2019
    0 references
    linear logic
    0 references
    partitions sets
    0 references
    proof nets
    0 references
    sequent calculus
    0 references

    Identifiers

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