# Transreal arithmetic as a consistent basis for paraconsistent logics

Anderson, J. A.D.W. and Gomide, W. (2014) Transreal arithmetic as a consistent basis for paraconsistent logics. In: International Conference on Computer Science and Applications (WCECS 2014), 22-24 October 2014, San Francisco, USA,, pp. 103-108.

 Preview
Text - Accepted Version

451kB

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Official URL: http://www.iaeng.org/publication/WCECS2014/

## Abstract/Summary

Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applica- tions in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathe- matical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consis- tent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, forms an on-the- y, syntactic partition of the propositions into internally consistent sets. We show how the set of all paraconsistent, possible worlds can be represented in a transreal space. During the development of our logic we discuss how other paraconsistent logics could be arithmetised in transreal arithmetic.

Item Type: Conference or Workshop Item (Paper) Yes Science > School of Mathematical, Physical and Computational Sciences > Department of Computer Science 37404 transreal arithmetic, paraconsistent logic. Proceedings: World Congress on Engineering and Computer Science 2014, San Francisco, USA, 22-24 October, 2014 Publisher: International Association of Engineers Pages: 103-108 ISBN: 9789881925 ISSN: 2078-0958