A survey of paraconsistent logics

TL;DR

This paper provides a comprehensive survey of various paraconsistent logics, including their foundations, variations, and applications, highlighting the diversity and development of this logical approach.

Contribution

It offers an organized overview of key paraconsistent logics, their extensions, and adaptations to belief revision, serving as a valuable resource for researchers.

Findings

Survey covers major paraconsistent logics like LP, RM3, Cn, D2, Ptau

Discusses deontic logic based on LP and belief revision adaptations

Highlights the diversity and development of paraconsistent logic approaches

Abstract

A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned.