First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties |
| |
Authors: | Francesc Esteva Lluís Godo |
| |
Institution: | a Institut d’Investigació en Intel⋅ligència Artificial (IIIA), Spanish National Research Council (CSIC), 08193 Bellaterra, Catalonia, Spain b Department of Mathematics and Computer Science, University of Siena, 53100 Siena, Italy |
| |
Abstract: | This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering canonical real and rational semantics provided by the algebras where the truth-constants are interpreted as the numbers they actually name. Finally, we study completeness properties restricted to evaluated formulae of the kind , where φ has no additional truth-constants. |
| |
Keywords: | 03B50 03B52 06B99 |
本文献已被 ScienceDirect 等数据库收录! |
|