Publications

On definability of maximun in left-continuous t.norms

Publication Type:

Conference Paper

Authors:

Francesc Esteva; Angel García-Cerdaña; Carles Noguera

Source:

Third Proceeding of EUSFLAT Zittau 2003., EUSFLAT, p.609-613 (2003)

Abstract:

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.

Projects: 
LOGFAC
»