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

## 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 |
---|---|

Subjects: | University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use) |

Depositing User: | Rachel Wheelhouse |

Date Deposited: | 27 Jul 2012 10:58 |

Last Modified: | 27 Jul 2012 10:58 |

URI: | http://westminsterresearch.wmin.ac.uk/id/eprint/10950 |

### Actions (login required)

Edit Item (Repository staff only) |