The finite model property for knotted extensions of propositional linear logic (Q3370755)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The finite model property for knotted extensions of propositional linear logic
scientific article

    Statements

    The finite model property for knotted extensions of propositional linear logic (English)
    0 references
    8 February 2006
    0 references
    extensions of linear logic
    0 references
    knotted structural rule
    0 references
    algebraic models
    0 references
    finite embeddability property
    0 references
    finite model property
    0 references
    algebraic semantics
    0 references
    0 references

    Identifiers