Putting together Łukasiewicz and product logics
Article Sidebar
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.
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.
Articles més llegits del mateix autor/a
- José Luis Verdegay, Francesc Esteva Massaguer, Editorial [4th. Congress of the Spanish Association of Fuzzy Logic and Technology: Blanes, 1994: selection of extended versions] , Mathware & soft computing: 1994: Vol.: 1 Núm.: 3
- Francesc Esteva Massaguer, Pere Garcia, Lluís Godo Lacasa, Ricardo Oscar Rodríguez, Fuzzy approximation relations, modal structures and possibilistic logic , Mathware & soft computing: 1998: Vol.: 5 Núm.: 2-3
- Lluís Vila, Lluís Godo Lacasa, On fuzzy temporal constraint networks , Mathware & soft computing: 1994: Vol.: 1 Núm.: 3
- Lluís Godo Lacasa, Adriana Zapico, Lexicographic combinations of preference relations in the context of possibilistic decision theory , Mathware & soft computing: 2006: Vol.: 13 Núm.: 3
- Olgierd Hryniewicz, Francesc Esteva Massaguer, Editorial [3rd. Hispano-Polish Symposium on Systems Analysis and Computer Science: selection of papers] , Mathware & soft computing: 1997: Vol.: 4 Núm.: 3
- José Antonio Reyes, Josep Puyol-Gruart, Francesc Esteva Massaguer, On defining multiple-valued logics for knowledge-based systems communication , Mathware & soft computing: 2000: Vol.: 7 Núm.: 2-3
- Ricardo Oscar Rodríguez, Pere Garcia, Lluís Godo Lacasa, Using fuzzy similiarity relations to revise and update a knwoledge base , Mathware & soft computing: 1996: Vol.: 3 Núm.: 3