Truth in Applicative Theories |
| |
| Authors: | Kahle Reinhard |
| |
| Institution: | (1) WSI, Universität Tübingen, Sand 13, D-72076 Tübingen, Germany |
| |
| Abstract: | 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 ID1 in a applicative truth theory based on supervaluation. |
| |
| Keywords: | truth theories applicative theories Frege structures universes supervaluation |
| 本文献已被 SpringerLink 等数据库收录！ |
|
