Putting together Lukasiewicz and product logics

Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/2247

COMPARTIR / EXPORTAR:

SHARE BASE	Comparte tu historia de Acceso Abierto
Visualizar otros formatos: MARC \| Dublin Core \| RDF \| ORE \| MODS \| METS \| DIDL \| DATACITE
Refman EndNote Bibtex RefWorks Excel CSV PDF DataCite Send via email

Título:	Putting together Lukasiewicz and product logics
Otros títulos:	Juntando las lógicas de Lukasiewicz y producto
Autor:	Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID
Palabras clave:	Fuzzy logics 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