أعرض تسجيلة المادة بشكل مبسط

dc.contributor Comisión Interministerial de Ciencia y Tecnología, CICYT (España)
dc.contributor European Commission
dc.creator Esteva, Francesc
dc.creator Godo, Lluis
dc.date 2007-11-20T13:24:50Z
dc.date 2007-11-20T13:24:50Z
dc.date 1999
dc.date.accessioned 2017-01-31T00:58:51Z
dc.date.available 2017-01-31T00:58:51Z
dc.identifier Mathware and Soft Computing, 1999, 6 (2-3): 219-234.
dc.identifier 1134-5632
dc.identifier http://hdl.handle.net/10261/2247
dc.identifier.uri http://dspace.mediu.edu.my:8181/xmlui/handle/10261/2247
dc.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).
dc.description 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.
dc.description 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.
dc.description Peer reviewed
dc.language eng
dc.publisher Universidad Politécnica de Cataluña
dc.rights openAccess
dc.subject Fuzzy logic
dc.subject Fuzzy algebras
dc.title Putting together Lukasiewicz and product logics
dc.title Juntando las lógicas de Lukasiewicz y producto
dc.type Artículo


الملفات في هذه المادة

الملفات الحجم الصيغة عرض

لا توجد أي ملفات مرتبطة بهذه المادة.

هذه المادة تبدو في المجموعات التالية:

أعرض تسجيلة المادة بشكل مبسط