English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/2247
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Ver citas en Google académico
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar otros formatos: Exportar EndNote (RIS)Exportar EndNote (RIS)Exportar EndNote (RIS)
Título : Putting together Lukasiewicz and product logics
Otros títulos: Juntando las lógicas de Lukasiewicz y producto
Autor : Esteva, Francesc; Godo, Lluis
Palabras clave : Fuzzy logic
Fuzzy algebras
Fecha de publicación : 1999
Editor: Universidad Politécnica de Cataluña
Citación : Mathware and Soft Computing, 1999, 6 (2-3): 219-234.
Resumen: 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.
Descripción : This is a revised version of the paper with the same title appeared in the Proc. of the Estylf'98 Conference, September 8-10, 1998, Pamplona (Spain).
URI : http://hdl.handle.net/10261/2247
ISSN: 1134-5632
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
Logics.pdf364,48 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.