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
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

Putting together Lukasiewicz and product logics

Otros títulosJuntando las lógicas de Lukasiewicz y producto
AutorEsteva, Francesc ; Godo, Lluis
Palabras claveFuzzy logic
Fuzzy algebras
Fecha de publicación1999
EditorUniversidad Politécnica de Cataluña
CitaciónMathware and Soft Computing, 1999, 6 (2-3): 219-234.
ResumenIn 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ónThis 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).
URIhttp://hdl.handle.net/10261/2247
ISSN1134-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.