Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 24 de mayo 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
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es