Fuzzy logics from substructural perspective
Hajek's basic logic BL is an extension of the substructural logic FL(ew), or equivalently, Hohle's monoidal logic. Thus, fuzzy logics can be viewed as a special subclass of substructural logics. On the other hand, their close connections are often overlooked, since these two classes of logics have been motivated by different aims, and so introduced and studied separately. Here we attempt to bridge this gap. Several topics of substructural logics that are closely related to fuzzy logics are selected and are surveyed briefly. Above all, almost maximal logics, interpolation property, finite model property and decidability are discussed. (C) 2009 Elsevier B.V. All rights reserved.
substructural logics interpolation property finite model property basic fuzzy logic monoidal t-norm logic residuated lattices