 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.