Formalizing Paradoxes in Grounded Arithmetic using Isabelle/HOL	Jul 25 2026
Grounded Verification of Recursive Trace Systems – Benjamin Bürki	Jun 23 2026
Inhabiting Kripke’s truth via a working paracomplete formal arithmetic	Mar 23 2026
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic	Oct 29 2025
Formalizing Grounded Arithmetic atop Isabelle/Pure – Sascha Kehrli	Sep 30 2025
Reasoning Around Paradox with Grounded Deduction	Sep 12 2024

Grounded Deduction