Putting together Lukasiewicz and product logics

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/10261/2247

Title:	Putting together Lukasiewicz and product logics Juntando las lógicas de Lukasiewicz y producto
Authors:	Comisión Interministerial de Ciencia y Tecnología, CICYT (España) European Commission
Keywords:	Fuzzy logic Fuzzy algebras
Publisher:	Universidad Politécnica de Cataluña
Description:	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). 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. The authors acknowledge partial support of this work through CICYT Project SMASH (TIC96-1138-C04-01/04) and of the COST Action 15 of the European Union. Peer reviewed
URI:	http://dspace.mediu.edu.my:8181/xmlui/handle/10261/2247
Other Identifiers:	Mathware and Soft Computing, 1999, 6 (2-3): 219-234. 1134-5632 http://hdl.handle.net/10261/2247
Appears in Collections:	Digital Csic

Files in This Item:

There are no files associated with this item.

DSpace JSPUI