Exploring extensions of possibilistic logic over gödel logic

Pilar Dellunde*, Lluís Godo, Enrico Marchioni

*Corresponding author for this work

Research output: Chapter in BookChapterResearchpeer-review

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning with Uncertainty - 10th European Conference, ECSQARU 2009, Proceedings
Pages923-934
Number of pages12
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5590 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Exploring extensions of possibilistic logic over gödel logic'. Together they form a unique fingerprint.

Cite this