| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 390669 | Fuzzy Sets and Systems | 2010 | 8 Pages |
Abstract
The fuzzy variant S5(C) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logic extending the basic fuzzy logic BL. Three kinds of Kripke models are introduced and corresponding deductive systems are found.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
