On expansions of WNM t-norm based logics with truth-constants

This paper focuses on completeness results about generic expansions of propositional weak nilpotent minimum (WNM) logics with truth-constants. Indeed, we consider algebraic semantics for expansions of these logics with a set of truth-constants { over(r, -) | r ∈ C }, for a suitable countable C ⊆ [0, 1], and provide a full description of completeness results when: (i) the t-norm is a weak nilpotent minimum satisfying the finite partition property and (ii) the set of truth-constants covers all the unit interval in the sense that each interval of the partition contains values of C in its interior. © 2009 Elsevier B.V. All rights reserved.The authors acknowledge partial support of the Spanish projects MULOG2 (TIN2007-68005-C04) and the ESF Eurocores-LogICCC/MICINN project (FFI2008-03126-E/FILO). The third author also acknowledges partial support from the Grant 2006-BP-A-10043 of the Departament d’Educació i Universitats of the Generalitat de CatalunyaPeer Reviewe