Título | Rational completeness results for prominent fuzzy logics with truth-constants |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | Esteva F, Godo L, Noguera C |
Conference Name | XIV Congreso Español sobre Tecnologías y Lógica fuzzy (ESTYLF'08) |
Conference Location | Cuencas Mineras (Mieres - Langreo) |
Paginación | 133-139 |
Date Published | 17/09/2008 |
Resumen | In this paper we consider expansions of Lukasiewiz, Product, Godel and Nilpotent Minimum logics with truth-constants for an algebra of rational truth-values. We study the semantics for these logics given by chains defined over the rational unit interval and the completeness properties they provide, with a special attention to the completeness with respect to the canonical chain (i.e. the algebra where each truth-constant is interpreted in its corresponding truth-value). |