On n-contractive fuzzy logics: first results

From Mathfuzzlog
Revision as of 13:27, 9 December 2007 by Cnoguera (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Authors:
Carles Noguera
Francesc Esteva
Joan Gispert
Title of the chapter: On n-contractive fuzzy logics: first results
Title of the book: Uncertainty and Intelligent Information Systems
Editor(s):
Bernadette Bouchon-Meunier
Ronald R. Yager
Christophe Marsala
Maria Rifqi
Pages:
Publisher: World Scientific
City:
Year: 2008




Abstract

In order to reach a deeper understanding of the structure of fuzzy logics, some very general new logics are defined. Namely, we consider the extensions of MTL by adding the generalized contraction and excluded middle laws and we enrich this family by means of the axiom of weak cancellation and the Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \Omega} operator. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, decidability and standard completeness.