Truth in applicative theories
Ur Informatik · 2001
We give a survey on truth theories for applicative theories. It comprises Frege structures, Universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID 1 in a applicative truth theory based on supervaluation. 1