The finite model property for semilinear substructural logics (Q2856632)

From MaRDI portal
Revision as of 22:20, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/mlq/Wang13, #quickstatements; #temporary_batch_1731530891435)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The finite model property for semilinear substructural logics
scientific article

    Statements

    The finite model property for semilinear substructural logics (English)
    0 references
    0 references
    30 October 2013
    0 references
    fuzzy logics
    0 references
    uninorm logics
    0 references
    semilinear logics
    0 references
    substructural logics
    0 references
    finite model property
    0 references
    model theory
    0 references

    Identifiers