Fuzzy logics from substructural perspective

概要

論文の詳細を見る
Hájek's basic logic BL is an extension of the substructural logic Fl_<ew>, or equivalently, Höhle'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.
2010-09-09