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 [10] 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.
Esteva, F., García-Cerdaña, À., NOGUERA CLOFENT, C. (2003). On definability of maximum in left-continuous t-norms. In Proceedings of Third EUSFLAT (pp.271-288). Zittau.
On definability of maximum in left-continuous t-norms
Carles Noguera Clofent
2003-01-01
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 [10] 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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Esteva-GarciaCerdana-Noguera-EUSFLAT-2003.pdf
non disponibili
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
140.09 kB
Formato
Adobe PDF
|
140.09 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/1201032