Putting together Łukasiewicz and product logics

Main Article Content

Francesc Esteva Massaguer
Lluís Godo Lacasa
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.

Article Details

Com citar
Esteva Massaguer, Francesc; Godo Lacasa, Lluís. «Putting together Łukasiewicz and product logics». Mathware & soft computing, 1999, vol.VOL 6, núm. 2, http://raco.cat/index.php/Mathware/article/view/84789.