Natural Deduction System in Paraconsistent Setting:Proof Search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lea...

Full description

Saved in:
Bibliographic Details
Published in:Journal of intelligent systems 2012-03, Vol.21 (1), p.1-24
Main Authors: Bolotov, Alexander, Shangin, Vasilyi
Format: Article
Language:English
Subjects:
Natural Deduction
Paraconsistent Logic
Proof Search
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.
ISSN:0334-1860
2191-026X
DOI:10.1515/jisys-2011-0021