Article ID Journal Published Year Pages File Type
390825 Fuzzy Sets and Systems 2010 22 Pages PDF
Abstract

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 , 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.

Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence