Mostra el registre d'ítem simple
Putting together Łukasiewicz and product logics
dc.contributor.author | Esteva Massaguer, Francesc |
dc.contributor.author | Godo Lacasa, Lluís |
dc.date.accessioned | 2007-09-25T12:35:03Z |
dc.date.available | 2007-09-25T12:35:03Z |
dc.date.issued | 1999 |
dc.identifier.issn | 1134-5632 |
dc.identifier.uri | http://hdl.handle.net/2099/3555 |
dc.description.abstract | In this paper we investigate a propositional fuzzy logical system $\L\Pi$ which contains the well-known \L ukasiewicz, Product and G\"{o}del fuzzy logics as sublogics. We define the corresponding algebraic structures, called $\L\Pi$-algebras and prove the following completeness result: a formula $\varphi$ is provable in the $\L\Pi$ logic iff it is a tautology for all linear $\L\Pi$-algebras. Moreover, linear $\L\Pi$-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law. |
dc.format.extent | 219-234 |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica |
dc.relation.ispartof | Mathware & soft computing . 1999 Vol. 6 Núm. 2 [ -3 ] |
dc.rights | Reconeixement-NoComercial-CompartirIgual 3.0 Espanya |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject.other | Ł∏ algebras |
dc.title | Putting together Łukasiewicz and product logics |
dc.type | Article |
dc.subject.lemac | Lògica matemàtica |
dc.subject.ams | Classificació AMS::03 Mathematical logic and foundations::03B General logic |
dc.rights.access | Open Access |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
1999, Vol. VI, Núm. 2-3 [16]
EUSTYL'98