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

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.

• Type: Journal
• Year: 2010
• Where: FSS
• Authors: Agata Ciabattoni, George Metcalfe, Franco Montagna
• Keywords: FSS 2010, Fuzzy Logics, Logics, Monoidal T-norm Logic