Monoidal T-norm Logic

Monoidal T-norm Logic

Monoidal t-norm based logic (or shortly MTL), the logic of left-continuous t-norms, is one of t-norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices; it extends the logic of commutative bounded integral residuated lattices (known as Höhle's monoidal logic, Ono's FLew, or intuitionistic logic without contraction) by the axiom of prelinearity.

Read more about Monoidal T-norm Logic:  Motivation, Semantics, Bibliography

Famous quotes containing the word logic:

    “Somebody who should have been born
    is gone.

    Yes, woman, such logic will lead
    to loss without death. Or say what you meant,
    you coward . . . this baby that I bleed.”
    —Anne Sexton (1928–1974)