Accessibility navigation

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.

Text - Accepted Version
· Please see our End User Agreement before downloading.


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

Official URL:


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)
Divisions:Science > School of Mathematical, Physical and Computational Sciences > Department of Computer Science
ID Code:37404
Uncontrolled Keywords:transreal arithmetic, paraconsistent logic.
Additional Information: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


Downloads per month over past year

University Staff: Request a correction | Centaur Editors: Update this record

Page navigation