Non-triviality Done Proof-Theoretically
- 672 Downloads
It is well known that naive theories of truth based on the three-valued schemes K3 and LP are non-trivial.
We would like to thank the members of audiences at the Otago Logic Seminar and the Australasian Association for Logic Conference 2016 for feedback on this material. Shawn Standefer’s research was supported by the Australian Research Council, Discovery Grant DP150103801.