A proof-theoretic account of classical principles of truth

作者：Leigh G E^*

来源：Annals of Pure and Applied Logic, 2013, 164(10): 1009-1024.

DOI：10.1016/j.apal.2013.05.010

• Aczel slash relation
• Intuitionistic logic
• Ordinal analysis
• Proof-theoretic strength
• Theories of truth

This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen (2012).

• 出版日期2013-10