Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda
INICIO |
27 de julio de 2024
Putting together Lukasiewicz and product logics.
| 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 |
|