MARTIN FISCHER, CARLO NICOLAI, PABLO DOPICO, “NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE”, The Review of Symbolic Logic, 16:2 (2023), 425
Martin Fischer, “Is the HYPE about strength warranted?”, Synthese, 200:3 (2022)
Martin Fischer, “Sequent Calculi for the Propositional Logic of HYPE”, Stud Logica, 110:3 (2022), 643
Michael Mendler, Stephan Scheele, Luke Burke, Lecture Notes in Computer Science, 12842, Automated Reasoning with Analytic Tableaux and Related Methods, 2021, 446