Schwichtenberg, Helmut; Senjak, Christoph Minimal from classical proofs. (English) Zbl 1263.03053 Ann. Pure Appl. Logic 164, No. 6, 740-748 (2013). Reviewer: Gilda Ferreira (Lisboa) MSC: 03F03 03B20 03F05 03F07 PDFBibTeX XMLCite \textit{H. Schwichtenberg} and \textit{C. Senjak}, Ann. Pure Appl. Logic 164, No. 6, 740--748 (2013; Zbl 1263.03053) Full Text: DOI
von Plato, Jan Natural deduction with general elimination rules. (English) Zbl 1021.03050 Arch. Math. Logic 40, No. 7, 541-567 (2001). MSC: 03F05 PDFBibTeX XMLCite \textit{J. von Plato}, Arch. Math. Logic 40, No. 7, 541--567 (2001; Zbl 1021.03050) Full Text: DOI
Mints, Grigorii E. Selected papers in proof theory. (English) Zbl 0773.03038 Studies in Proof Theory. Monographs. 3. Napoli: Bibliopolis. Amsterdam: North-Holland, 294 p. (1992). Reviewer: Helmut Pfeiffer (Hannover) MSC: 03F03 03-02 03F05 03F07 03F20 03F30 01A75 03G30 PDFBibTeX XMLCite \textit{G. E. Mints}, Selected papers in proof theory. Napoli: Bibliopolis; Amsterdam: North-Holland (1992; Zbl 0773.03038)