Putting together Lukasiewicz and product logics

• Autores: Francisco Esteva, Lluis Godo Lacasa
• Localización: Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, ISSN-e 1134-5632, Vol. 6, Nº. 2-3, 1999, págs. 219-234
• Idioma: inglés
• Títulos paralelos:
  • Juntando las lógicas de Lukasiewicz y producto
• Enlaces
  • Texto completo (pdf)
• Resumen

  • 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 f 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.