In this paper we investigate expansions of Product logic by adding into the language a countable set of truth constants and by adding the corresponding book-keeping axioms for the truth constants. In particular we consider expansions with sets of truth constants defined by the natural and rational powers of an arbitrary real a ∈ [0, 1], for which we prove standard completeness. Finite strong completeness results for these logics are studied when we restrict ourselves to formulas of the kind r → ϕ, where r is a truth constant denoting the truth degree r and ϕ is a formula without truth constants.
Cignoli, R., Esteva, F., Godo, L., NOGUERA CLOFENT, C. (2005). On product fuzzy logic with truth-constants. In Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005 (pp.1244-1249). Tsinghua : Tsinghua University Press.
On product fuzzy logic with truth-constants
Carles Noguera Clofent
2005-01-01
Abstract
In this paper we investigate expansions of Product logic by adding into the language a countable set of truth constants and by adding the corresponding book-keeping axioms for the truth constants. In particular we consider expansions with sets of truth constants defined by the natural and rational powers of an arbitrary real a ∈ [0, 1], for which we prove standard completeness. Finite strong completeness results for these logics are studied when we restrict ourselves to formulas of the kind r → ϕ, where r is a truth constant denoting the truth degree r and ϕ is a formula without truth constants.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Cignoli-Esteva-Godo-Noguera-IFSA-2005.pdf
accesso aperto
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
438.04 kB
Formato
Adobe PDF
|
438.04 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/1201011