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).
Esteva, F., Godo, L., NOGUERA CLOFENT, C. (2008). Rational completeness results for prominent propositional fuzzy logics with truth-constants. In Actas del XIV congreso español sobre tecnologías y lógica fuzzy ESTYLF 2008 (pp.133-139).
Rational completeness results for prominent propositional fuzzy logics with truth-constants
Carles Noguera Clofent
2008-01-01
Abstract
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).File | Dimensione | Formato | |
---|---|---|---|
Esteva-Godo-Noguera-ESTYLF-2008.pdf
accesso aperto
Tipologia:
PDF editoriale
Licenza:
PUBBLICO - Pubblico con Copyright
Dimensione
397.32 kB
Formato
Adobe PDF
|
397.32 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/1200996