Título inglés |
Putting together Lukasiewicz and product logics. |
Título español |
Juntando las lógicas de Lukasiewicz y producto. |
Autor/es |
Esteva, Francesc ; Godo, Lluis |
Organización |
Inst. Invest. Intel. Artif. (IIIA-CSIC), Barcelona, España |
Revista |
1134-5632 |
Publicación |
1999, 6 (2-3): 219-234, 9 Ref. |
Tipo de documento |
articulo |
Idioma |
Inglés |
Resumen inglés |
In this paper we investigate a propositional fuzzy logical system LΠ which contains the well-known Lukasiewicz, Product and Gödel fuzzy logics as sublogics. We define the corresponding algebraic structures, called LΠ-algebras and prove the following completeness result: a formula φ is provable in the LΠ logic iff it is a tautology for all linear LΠ-algebras. Moreover, linear LΠ-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law. |
Clasificación UNESCO |
110208 |
Palabras clave español |
Lógica difusa ; Algebras difusas |
Código MathReviews |
MR1774568 |
Código Z-Math |
Zbl 0953.03030 |
Acceso al artículo completo |