| 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 |
|