Fact and Fiction in Grounded Set Theory	Aug 19 2026
Idealizing Useful Fictions in Omega Grounded Arithmetic	Aug 18 2026
Internalized Truth in Reflective Grounded Arithmetic	Aug 17 2026
Computable Quantification in Reflective Grounded Arithmetic	Jul 28 2026
Formalizing Paradoxes in Grounded Arithmetic using Isabelle/HOL	Jul 25 2026
Inhabiting Kripke’s truth via a working paracomplete formal arithmetic	Mar 23 2026
Paracomplete logic and the Aymara language	Feb 9 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

Logic