Real Analysis in Paraconsistent Logic

Type of content
Journal Article
Thesis discipline
Degree name
Publisher
University of Canterbury. Mathematics and Statistics
Journal Title
Journal ISSN
Volume Title
Language
Date
2011
Authors
McKubre-Jordens, M.
Weber, Z.
Abstract

This paper begins an analysis of the real line using an inconsistency- tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency- reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.

Description
Citation
McKubre-Jordens, M., Weber, Z. (2011) Real Analysis in Paraconsistent Logic. Journal of Philosophical Logic, (early access online).
Keywords
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Field of Research::01 - Mathematical Sciences
Field of Research::01 - Mathematical Sciences::0104 - Statistics
Rights