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).
2008
978-84-691-5807-4
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).
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1200996