Fuzzy logics from substructural perspective
| Autor: | Hiroakira Ono, Tomasz Kowalski |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Monoidal t-norm logic
Discrete mathematics Logic Structural rule Substructural logic Relevance logic Interpolation property Absorption law Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Artificial Intelligence Substructural logics Finite model property Basic fuzzy logic T-norm fuzzy logics Principle of bivalence Residuated lattices Łukasiewicz logic Hardware_LOGICDESIGN Mathematics |
| Zdroj: | Fuzzy Sets and Systems. 161:301-310 |
| ISSN: | 0165-0114 |
| DOI: | 10.1016/j.fss.2009.09.005 |
| Popis: | Hájek's basic logic BL is an extension of the substructural logic Fl_, 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect