Title | ||
---|---|---|
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results |
Abstract | ||
---|---|---|
In this paper we study generic expansions of logics of continuous t-norms with truth-constants, taking advantage of previous results for Lukasiewicz logic and more recent results for Godel and Product logics. Indeed, we consider algebraic semantics for expansions of logics of continuous t-norms 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 finite ordinal sum of Lukasiewicz, Godel and Product components, (ii) the set of truth-constants covers all the unit interval in the sense that each component of the t-norm contains at least one value of C different from the bounds of the component, and (iii) the truth-constants in Lukasiewicz components behave as rational numbers. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.fss.2006.11.010 | Fuzzy Sets and Systems |
Keywords | Field | DocType |
full description,lukasiewicz component,generic expansion,product logic,lukasiewicz and product logics,standard completeness.,lukasiewicz logic,continuous t-norms,completeness result,algebraic semantics,expansions with truth-constants,basic fuzzy logic bl,finite ordinal sum,godel,t-norm-based logic,product component,fuzzy logic,rational number | T-norm fuzzy logics,Discrete mathematics,Rational number,Countable set,Fuzzy logic,Fuzzy set,Unit interval,Completeness (statistics),Mathematics,Algebraic semantics | Journal |
Volume | Issue | ISSN |
158 | 6 | Fuzzy Sets and Systems |
Citations | PageRank | References |
38 | 1.66 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesc Esteva | 1 | 1885 | 200.14 |
Joan Gispert | 2 | 260 | 17.82 |
Lluís Godo | 3 | 888 | 56.28 |
Carles Noguera | 4 | 462 | 33.93 |