References
Gentzen, G., ‘Untersuchungenüber das logische Schließen’, Mathematische Zeitschrift 39 (1934–1935), 405–431.
Baaz, M., and A. Leitsch, ‘Cut-Elimination and Redundancy-Elimination by Resolution’, Journal of Symbolic Computation 29 (2000), 149–176.
Rights and permissions
About this article
Cite this article
From the Editor. Stud Logica 82, 3–5 (2006). https://doi.org/10.1007/s11225-006-6602-7
Issue Date:
DOI: https://doi.org/10.1007/s11225-006-6602-7