We investigate the variety corresponding to a logic (introduced in Esteva and Godo, 1998, and called Łπ there), which is the combination of Łukasiewicz Logic and Product Logic, and in which Gödel Logic is interpretable. We present an alternative (and slightly simpler) axiomatization of such variety. We also investigate the variety, called the variety of Łπ1/2 algebras, corresponding to the logic obtained from Łπ by the adding of a constant and of a defining axiom for one half. We also connect Łπ1/2 algebras with structures, called f-semifields, arising from the theory of lattice-ordered rings, and prove that every Łπ1/2 algebra A can be regarded as a structure whose domain is the interval [0, 1] of an f-semifield ℱ, and whose operations are the truncations of the operations of ℱ to [0, 1]. We prove that such a structure ℱ is uniquely determined by A up to isomorphism, and we establish an equivalence between the category of Łπ1/2 algebras and that of f-semifields

Montagna, F. (2000). An algebraic approach to propositional fuzzy logic. JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION, 9(1), 91-124 [10.1023/A:1008322226835].

An algebraic approach to propositional fuzzy logic

MONTAGNA, FRANCO
2000-01-01

Abstract

We investigate the variety corresponding to a logic (introduced in Esteva and Godo, 1998, and called Łπ there), which is the combination of Łukasiewicz Logic and Product Logic, and in which Gödel Logic is interpretable. We present an alternative (and slightly simpler) axiomatization of such variety. We also investigate the variety, called the variety of Łπ1/2 algebras, corresponding to the logic obtained from Łπ by the adding of a constant and of a defining axiom for one half. We also connect Łπ1/2 algebras with structures, called f-semifields, arising from the theory of lattice-ordered rings, and prove that every Łπ1/2 algebra A can be regarded as a structure whose domain is the interval [0, 1] of an f-semifield ℱ, and whose operations are the truncations of the operations of ℱ to [0, 1]. We prove that such a structure ℱ is uniquely determined by A up to isomorphism, and we establish an equivalence between the category of Łπ1/2 algebras and that of f-semifields
2000
Montagna, F. (2000). An algebraic approach to propositional fuzzy logic. JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION, 9(1), 91-124 [10.1023/A:1008322226835].
File in questo prodotto:
File Dimensione Formato  
A_1008322226835.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 196.5 kB
Formato Adobe PDF
196.5 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.

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

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo