Possibility and Necessity Functions over Non-classical Logics

TL;DR

This paper integrates possibility theory into non-classical logics, providing formal generalizations and demonstrating its usefulness in reasoning with uncertain and inconsistent information.

Contribution

It introduces a novel integration of possibility theory with non-classical logics, extending formal results beyond classical logic.

Findings

Generalized possibility and necessity functions for non-classical logics

Formal results that extend classical cases

Effective reasoning under uncertainty and inconsistency

Abstract

We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are based on classical logic. We show how useful such an approach is by applying it to reasoning under uncertain and inconsistent information.