Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs

Sohei Ito, Makoto Tatsuta

Formal reasoning about inductively defined relations and structures is widely recognized not only for its mathematical interest but also for its importance in computer science, and…