The University of Southampton
University of Southampton Institutional Repository

Extending possibilistic logic over Gödel logic

Extending possibilistic logic over Gödel logic
Extending possibilistic logic over Gödel logic
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. © 2010 Elsevier Inc. All rights reserved.
Fuzzy logic, Gödel logic, Necessity measures, Possibilistic logic
0888-613X
63-75
Dellunde, Pilar
dc1861b2-9ea0-44e9-b5a1-1c5c7a481c1a
Godo, Lluís
0518f088-84ec-4816-ad43-4e240ae66dc1
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Dellunde, Pilar
dc1861b2-9ea0-44e9-b5a1-1c5c7a481c1a
Godo, Lluís
0518f088-84ec-4816-ad43-4e240ae66dc1
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96

Dellunde, Pilar, Godo, Lluís and Marchioni, Enrico (2011) Extending possibilistic logic over Gödel logic. International Journal of Approximate Reasoning, 52 (1), 63-75. (doi:10.1016/j.ijar.2010.08.014).

Record type: Article

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. © 2010 Elsevier Inc. All rights reserved.

Full text not available from this repository.

More information

Accepted/In Press date: 24 August 2010
e-pub ahead of print date: 1 September 2010
Published date: January 2011
Keywords: Fuzzy logic, Gödel logic, Necessity measures, Possibilistic logic

Identifiers

Local EPrints ID: 416721
URI: http://eprints.soton.ac.uk/id/eprint/416721
ISSN: 0888-613X
PURE UUID: e6df157a-99fc-4262-aa4f-75e6f57003e1

Catalogue record

Date deposited: 05 Jan 2018 17:30
Last modified: 13 Mar 2019 19:04

Export record

Altmetrics

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×