von Plato, Jan Natural deduction with general elimination rules. (English) Zbl 1021.03050 Arch. Math. Logic 40, No. 7, 541-567 (2001). MSC: 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Beckmann, Arnold; Pohlers, Wolfram Applications of cut-free infinitary derivations to generalized recursion theory. (English) Zbl 0924.03087 Ann. Pure Appl. Logic 94, No. 1-3, 7-19 (1998). MSC: 03D60 03E15 03D55 03F05 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Mints, Grigori; Orevkov, Vladimir; Tammet, Tanel Transfer of sequent calculus strategies to resolution for S4. (English) Zbl 0869.03010 Wansing, Heinrich (ed.), Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19–20, 1993. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 2, 17-31 (1996). Reviewer: N.Zamov (Kazan’) MSC: 03B45 03B35 × Cite Format Result Cite Review PDF
Mints, Gregory Normal forms for sequent derivations. (English) Zbl 0897.03053 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 469-492 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03F05 03B20 03F50 × Cite Format Result Cite Review PDF
Došen, Kosta Modal translations in substructural logics. (English) Zbl 0765.03009 J. Philos. Log. 21, No. 3, 283-336 (1992). Reviewer: G.Mints (Stanford) MSC: 03B45 03B20 03F05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Boričić, Branislav R. A note on sequent calculi intermediate between LJ and LK. (English) Zbl 0664.03020 Stud. Log. 47, No. 2, 151-157 (1988). Reviewer: B.R.Boričić MSC: 03B55 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Leivant, Daniel On the proof theory of the modal logic for arithmetic provability. (English) Zbl 0464.03019 J. Symb. Log. 46, 531-538 (1981). MSC: 03B45 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Umezawa, Toshio A method for cut elimination in intuitionistic predicate logic and classical predicate logic. (English) Zbl 0415.03047 Rep. Fac. Sci., Shizuoka Univ. 13, 1-13 (1979). MSC: 03F05 03F55 03B10 × Cite Format Result Cite Review PDF