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.
Esteva, F., Godo, L., Noguera, C. (2009). First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties. ANNALS OF PURE AND APPLIED LOGIC, 161(2), 185-202 [10.1016/j.apal.2009.05.014].
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties
Noguera C.
2009-01-01
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 over(r, -) → φ, where φ has no additional truth-constants. © 2009 Elsevier B.V. All rights reserved.File | Dimensione | Formato | |
---|---|---|---|
draft15.pdf
accesso aperto
Descrizione: Published version: https://doi.org/10.1016/j.apal.2009.05.014
Tipologia:
Pre-print
Licenza:
PUBBLICO - Pubblico con Copyright
Dimensione
301.97 kB
Formato
Adobe PDF
|
301.97 kB | Adobe PDF | Visualizza/Apri |
Esteva-Godo-Noguera-APAL-2009.pdf
non disponibili
Descrizione: Free full text sul sito dell'editore: https://doi.org/10.1016/j.apal.2009.05.014
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
979.07 kB
Formato
Adobe PDF
|
979.07 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/1200770