Peano's smart children: a provability logical study of systems with built-in consistency.
Albert Visser · Notre Dame Journal of Formal Logic · 1989
The systems studied in this article prove the same theorems (from the "extensional" point of view) as Peano Arithmetic, but are equipped with a self-correction procedure.These systems prove their own consistency and thus escape GδdePs second theorem.Here, the provability logics of these systems are studied.An application of the results obtained turns out to be the solution to a problem of Orey on relative interpretability.