Paraconsistent second order arithmetic Z^#₂ based on the paraconsistent logic LP^# with infinite hierarchy levels of contradiction. Berry's and Richard's inconsistent numbers within Z^#₂

2009/06/18 by Jaykov Foukzon, Foukzon, Jaykov
Computer Science · Mathematics · #03B53 #Advanced Algebra and Logic #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #FOS: Mathematics #General Mathematics (math.GM) #Mathematical and Theoretical Analysis #math.GM #msc:03B53

paper · pdf · doi:10.48550/arxiv.0906.3479

48 pages

openalex publication_date 2009/06/18 · arxiv created 2014/04/26 · arxiv updated 2014/04/29 · openalex created_date 2022/09/04 · openalex updated_date 2026/07/28

Abstract

In this paper paraconsistent second order arithmetic Z#2 with unrestricted comprehension scheme is proposed. We outline the development of certain portions of paraconsistent mathematics within paraconsistent second order arithmetic Z#2.In particular we defined infinite hierarchy Berry's and Richard's inconsistent numbers as elements of the paraconsistent field R^#.

Related

• Paraconsistent First-Order Logic with restricted modus ponens rule and infinite hierarchy levels of contradiction LP^#_ω. Axiomatical system HST^#_ω, as paraconsistent generalization of Hrbacek set theory HST
• Leibniz's law and its paraconsistent models
• A Paraconsistent Higher Order Logic
• Subsystems of Second Order Arithmetic
• Leibniz's law and paraconsistent models of ZFC