Real Analysis in Paraconsistent Logic
Type of content
Journal Article
UC permalink
Publisher's DOI/URI
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
Field of Research::01 - Mathematical Sciences::0104 - Statistics