On definability of maximun in left-continuous t.norms
Publication Type:Conference Paper
Source:Third Proceeding of EUSFLAT Zittau 2003., EUSFLAT, p.609-613 (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.