Weak Theories of Truth and Explicit Mathematics
Sebastian Eberhard, Thomas Strahm · 2012
We study weak theories of truth over combinatory logic and their relationship to weak systems of explicit mathematics.In particular, we consider two truth theories T PR and T PT of primitive recursive and feasible strength.The latter theory is a novel abstract truth-theoretic setting which is able to interpret expressive feasible subsystems of explicit mathematics.