Extending possibilistic logic over Gödel logic |
| |
Authors: | Pilar Dellunde Lluís Godo Enrico Marchioni |
| |
Institution: | a Universitat Autònoma de Barcelona, 08193 Bellaterra, Spain b IIIA - CSIC, 08193 Bellaterra, Spain |
| |
Abstract: | In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics is built over a restricted language, namely, a two-level language composed of non-modal and modal formulas, the latter, moreover, not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown. |
| |
Keywords: | Possibilistic logic Necessity measures Gö del logic Fuzzy logic |
本文献已被 ScienceDirect 等数据库收录! |
|