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-01-01
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/17499
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo