Home - Topics - Papers - Talks - Theses - Blog - CV - Photos - Funny

Inhabiting Kripke’s truth via a working paracomplete formal arithmetic

Talk at Saul Kripke Center, CUNY
March 23, 2026 – CUNY Graduate Center, New York, NY, USA

Slides: PDF

Related:

Reasoning Around Paradox with Grounded Deduction
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
Formalizing Grounded Arithmetic atop Isabelle/Pure – B.Sc. thesis, Sascha Kehrli

Topics: Logic Programming Languages Grounded Deduction