Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE

Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez

Questions concerning the proof-theoretic strength of classical versus non-classical theories of truth have received some attention recently. A particularly convenient case study co…