Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and "very true" are presented here both algebraically in the framework of residuated lattices and proof-theoretically as hypersequent calculi. Completeness with respect to standard algebras based on t-norms, embeddings between logics, decidability, and the finite embedding property are then investigated for these logics.

Ciabattoni, A., Metcalfe, G., & Montagna, F. (2010). Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. FUZZY SETS AND SYSTEMS, 161(3), 369-389 [10.1016/j.fss.2009.09.001].

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

MONTAGNA, FRANCO
2010

Abstract

Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and "very true" are presented here both algebraically in the framework of residuated lattices and proof-theoretically as hypersequent calculi. Completeness with respect to standard algebras based on t-norms, embeddings between logics, decidability, and the finite embedding property are then investigated for these logics.
Ciabattoni, A., Metcalfe, G., & Montagna, F. (2010). Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. FUZZY SETS AND SYSTEMS, 161(3), 369-389 [10.1016/j.fss.2009.09.001].
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/17499
 Attenzione

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