|Títol||On definability of maximun in left-continuous t.norms|
|Publication Type||Conference Paper|
|Year of Publication||2003|
|Authors||Esteva F, García-Cerdaña A, Noguera C|
|Editor||Wagenknecht M., Hampel R.|
|Conference Name||Third Proceeding of EUSFLAT Zittau 2003.|
Definability of the max-disjunction from “and” and “implication” is valid in BL logic but also in some axiomatic extensions of MTL and IMTL logics. Since in the property was proved to be true in NM logic, in this paper we try to go further characterizing some families of t-norms whose associated algebras satisfy this definability.
- Quant a IIIA