3 papers
math.LO2026
Paraconsistent Dominated Convergence
Anggha Nugraha
The Levi-Civita field of formal Laurent series is a constructive, non-Archimedean ordered field that supports a full Lebesgue measure and integration theory, includin…
math.LO2026
A Constructive Field of Infinitesimals: Chunk and Permeate Approach
Anggha Nugraha, Anggha S. Nugraha
While intuitive, naïve infinitesimal reasoning is classically inconsistent, and rigorous nonstandard analysis relies on non-constructive machinery. We resolve this tension by cons…
cs.LO2026
Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
Stefan Ratschan, Anggha Nugraha, Mikoláš Janota +1
The combination of uninterpreted function symbols and universal quantification occurs in many applications of automated reasoning, for example, due to their ability to reason about…