Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype. - Martin Fischer; Carlo Nicolai; Pablo Dopico Fernandez (Rev. Symb. Log., 2023)