1. Baaz, M., Lemhoff, R.: Skolemization in intermediate logics with the finite model property. Submitted
2. Baaz, M., Iemhoff, R.: On Skolemization in constructive theories. J. Symbolic Logic 73(3), 969–998 (2008)
3. Buss, S. (ed.): Handbook of Proof Theory. Kluwer, Dordrecht (1998)
4. Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory for substructural logics: Cut-elimination and completions. Ann. Pure. Appl. Logic 163(3), 266–290 (2012)
5. Cintula, P., Hájek, P., Noguera, C. (eds).: Handbook of Mathematical Fuzzy Logic (in 2 volumes), volume 37, 38 of Studies in Logic, Mathematical Logic and Foundations. College Publications, London (2011)