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 {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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.fss.2009.09.002 | Fuzzy Sets and Systems |
Keywords | Field | DocType |
unit interval,full description,nilpotent minimum logic nm,monoidal t-norm based logic mtl,completeness results,generic expansion,weak nilpotent minimum,completeness result,algebraic semantics,rational t-norm based logic,suitable countable,completeness results.,finite partition property,monoidal t-norm based logic (mtl),weak nilpotent minimum logics (wnm),wnm t-norm,weak nilpotent minimum logics wnm,nilpotent minimum logic (nm),propositional weak nilpotent minimum,satisfiability | T-norm,Discrete mathematics,Combinatorics,Countable set,Unit interval,Fuzzy set,Partition (number theory),Completeness (statistics),Mathematics,Algebraic semantics,Nilpotent | Journal |
Volume | Issue | ISSN |
161 | 3 | Fuzzy Sets and Systems |
Citations | PageRank | References |
19 | 0.87 | 26 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesc Esteva | 1 | 1885 | 200.14 |
Lluís Godo | 2 | 888 | 56.28 |
Carles Noguera | 3 | 462 | 33.93 |