Truth, Partial Logic and Infinitary Proof Systems. - Martin Fischer 009; Norbert Gratzl (Stud Logica, 2018)

Sequent Calculi for the Propositional Logic of HYPE. - Martin Fischer 009 (Stud Logica, 2022)