1. de Campos Sanz, W., Piecha, T. & Schroeder-Heister, P. (2013). Constructive semantics, admissibility of rules and the validity of Peirce’s law. Logic Journal of the IGPL, 22, 297–308.
2. de Campos Sanz, W., & Piecha, T. (2014). A critical remark on the BHK interpretation of implication. In P.E. Bour, G. Heinzmann, W. Hodges & P. Schroeder-Heister (Eds.), 14th CLMPS 2011 Proceedings, forthcoming in Philosophia Scientiae, 18(3).
3. Dummett, M. (1978). The justification of deduction. In Truth and other enigmas (pp. 290–318). Cambridge: Harvard University Press.
4. Prawitz, D. (1971). Ideas and results in proof theory. In J.E. Fenstad (Ed.), Proceedings of the second Scandinavian logic symposium, (pp. 235–307). Amsterdam: North-Holland Publishing Company.
5. Prawitz, D. (1973). Towards a foundation of a general proof theory. In P. Suppes, L. Henkin, A. Joja & G. C. Moisil (Eds.), Logic, Methodology and Philosophy of Science IV, (pp. 225–250). Amsterdam: North-Holland Publishing Company.