Dual tableau for monoidal triangular norm logic MTL (Q622083)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dual tableau for monoidal triangular norm logic MTL
scientific article

    Statements

    Dual tableau for monoidal triangular norm logic MTL (English)
    0 references
    31 January 2011
    0 references
    fuzzy logic
    0 references
    monoidal triangular norm logic
    0 references
    relational logic
    0 references
    dual tableau system
    0 references

    Identifiers