Bolotov, Alexander and Shangin, Vasilyi (2012) *Natural deduction system in paraconsistent setting: proof search for PCont.* Journal of Intelligent Systems, 21 (1). pp. 1-24. ISSN 0334-1860

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1515/jisys-2011-0021

## Abstract

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.

Item Type: | Article |
---|---|

Research Community: | University of Westminster > Electronics and Computer Science, School of |

ID Code: | 10950 |

Deposited On: | 27 Jul 2012 11:58 |

Last Modified: | 27 Jul 2012 11:58 |

Repository Staff Only: item control page