A game semantics for linear logic (Q1192350)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A game semantics for linear logic
scientific article

    Statements

    A game semantics for linear logic (English)
    0 references
    0 references
    27 September 1992
    0 references
    constructive semantics
    0 references
    Gödel's Dialectica interpretation
    0 references
    linear logic
    0 references
    operations on games
    0 references
    affine logic
    0 references
    rule of weakening
    0 references
    completeness
    0 references
    additive fragment
    0 references
    multiplicative fragment
    0 references
    game semantics
    0 references

    Identifiers