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… (More)
DOI: 10.1016/j.fss.2009.09.001