|Títol||Monoidal t-norm based logic : towards a logic for left-continuous t-norms|
|Publication Type||Journal Article|
|Year of Publication||2001|
|Authors||Godo L, Esteva F|
|Journal||Fuzzy Sets and Systems|
Hájek's BL logic is the fuzzy logic capturing the tautologies of continuous t-norms and their residua. In this paper we investigate a weaker logic, MTL, which isintended to cope with the tautologies of left-continuous t-norms and their residua. The corresponding algebraic structures, MTL- algebras, are de ned and completeness of MTL with respect to linearly ordered MTL-algebras is proved. Besides, several schematic extensions of MTL are also considered as well as their corresponding predicate calculi.
- Quant a IIIA