 For the general orientation of proof-theoretic semantics the special issue of Synthese (Kahle and Schroeder-Heister, 2006) the reader edited by Piecha and Schroeder-Heister (2016b), the textbook by Francez (2015), Schroeder-Heister (2008b, 2016a), and Wansing (2000).