|Title||On n-contractive fuzzy logics: first results|
|Publication Type||Conference Paper|
|Year of Publication||2006|
|Authors||Noguera C, Esteva F, Gispert J|
|Conference Name||Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledge-based systems|
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 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.
- About IIIA
- Current news