{"id":"arxiv/2607.15723","url":"https://arxiv.org/abs/2607.15723","tags":["math.LO"],"score":0,"title":"Paraconsistent Dominated Convergence","domain":"math.LO","source":"arxiv","authors":["Anggha Nugraha"],"reviews":0,"subject":"math.LO","summary":"The Levi-Civita field $\\mathcal{R}$ of formal Laurent series is a constructive, non-Archimedean ordered field that supports a full Lebesgue measure and integration theory, including a Dominated Convergence Theorem. This paper embeds that integration theory into the paraconsistent Chunk and Permeate framework, extending it from elementary calculus to genuine measure theory. The source chunk is modelled by $\\mathcal{R}$ with its measure and integral, while the target chunk is the classical real line $\\mathbb{R}$. A permeability relation exports the standard part of the internal integral, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}