Difference between revisions of "Exploring Extensions of Possibilistic Logic over Gödel Logic"

From Mathfuzzlog
Jump to: navigation, search
(New page: {{Paper|author=Pilar Dellunde|author2=Lluis Godo||author3=Enrico Marchioni|title=Editing Exploring Extensions of Possibilistic Logic over Gödel Logic|journal=Lecture Notes in Computer Sci...)
(No difference)

Revision as of 08:56, 23 December 2009

Authors:
Pilar Dellunde
Lluis Godo
Enrico Marchioni
Title: Editing Exploring Extensions of Possibilistic Logic over Gödel Logic
Journal: Lecture Notes in Computer Science
Volume 5590
Number
Pages: 923-934
Year: 2009
Preprint




Abstract

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.