TY - CHAP
T1 - Exploring extensions of possibilistic logic over gödel logic
AU - Dellunde, Pilar
AU - Godo, Lluís
AU - Marchioni, Enrico
PY - 2009
Y1 - 2009
N2 - In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted language, indeed a two level language composed of non-modal and modal formulas, the latter moreover not allowing for nested applications of the modal operator N. Besides, a full fuzzy modal logic for graded necessity over Gödel logic is also introduced together with an algebraic semantics, the class of NG-algebras.
AB - In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted language, indeed a two level language composed of non-modal and modal formulas, the latter moreover not allowing for nested applications of the modal operator N. Besides, a full fuzzy modal logic for graded necessity over Gödel logic is also introduced together with an algebraic semantics, the class of NG-algebras.
UR - https://www.scopus.com/pages/publications/69049113039
U2 - 10.1007/978-3-642-02906-6_79
DO - 10.1007/978-3-642-02906-6_79
M3 - Chapter
AN - SCOPUS:69049113039
SN - 3642029051
SN - 9783642029059
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 923
EP - 934
BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 10th European Conference, ECSQARU 2009, Proceedings
ER -