2024-03-29T05:07:01Zhttp://digital.csic.es/dspace-oai/requestoai:digital.csic.es:10261/1604272020-12-09T16:01:12Zcom_10261_60com_10261_4col_10261_313
00925njm 22002777a 4500
dc
Esteva, Francesc
author
Godo, Lluis
author
Noguera, Carles
author
2009
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 over(r, -) → φ, where φ has no additional truth-constants. © 2009 Elsevier B.V. All rights reserved.
Annals of Pure and Applied Logic 161: 185- 202 (2009)
http://hdl.handle.net/10261/160427
10.1016/j.apal.2009.05.014
http://dx.doi.org/10.13039/501100001649
http://dx.doi.org/10.13039/501100002809
http://dx.doi.org/10.13039/501100003329
Truth-constants
T-norm based fuzzy logics
Residuated lattices
Mathematical fuzzy logic
First-order predicate non-classical logics
Algebraic logic
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties