A Survey of Paraconsistent Logics

Details A Survey of Paraconsistent Logics A Survey of Paraconsistent Logics

2011-03-22

arxiv.org/abs/1103.4324v1

Computer Science

Logic in Computer Science

20 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Survey of Paraconsistent Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Survey of Paraconsistent Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Survey of Paraconsistent Logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-49483