In this paper, we investigate the definability of classes of t-norms and uninorms in the logic L Pi 1/2. In particular we provide a complete characterization of definable continuous t-norms, weak nilpotent minimum t-norms, conjunctive uninorms continuous on [0, 1), and idempotent conjunctive uninorms, and give both positive and negative results concerning definability of left-continuous t-norms (and uninorms). We show that the class of definable uninorms is closed under construction methods as annihilation, rotation and rotation-annihilation. Moreover, we prove that every logic based on a definable uninorm, is in PSPACE, and that any finitely axiomatizable logic based on a class of definable uninorms is decidable. Finally we show that the Uninorm Mingle Logic (UML) and the Basic Uninorm Logic (BUL) are finitely strongly standard complete w.r.t. the related class of definable left-continuous conjunctive uninorms.

Montagna, F., & Marchioni, E. (2007). On triangular norms and uninorms definable in ŁΠ½. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 47(2), 179-201 [10.1016/j.ijar.2007.04.003].

On triangular norms and uninorms definable in ŁΠ½

MONTAGNA, FRANCO;
2007

Abstract

In this paper, we investigate the definability of classes of t-norms and uninorms in the logic L Pi 1/2. In particular we provide a complete characterization of definable continuous t-norms, weak nilpotent minimum t-norms, conjunctive uninorms continuous on [0, 1), and idempotent conjunctive uninorms, and give both positive and negative results concerning definability of left-continuous t-norms (and uninorms). We show that the class of definable uninorms is closed under construction methods as annihilation, rotation and rotation-annihilation. Moreover, we prove that every logic based on a definable uninorm, is in PSPACE, and that any finitely axiomatizable logic based on a class of definable uninorms is decidable. Finally we show that the Uninorm Mingle Logic (UML) and the Basic Uninorm Logic (BUL) are finitely strongly standard complete w.r.t. the related class of definable left-continuous conjunctive uninorms.
Montagna, F., & Marchioni, E. (2007). On triangular norms and uninorms definable in ŁΠ½. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 47(2), 179-201 [10.1016/j.ijar.2007.04.003].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/11365/17185
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo