Abstract
Three of Stig Kanger’s works belong to proof theory taken in a wide sense: the monograph Provability in Logic of 1957, the paper “A simplified proof method for elementary logic” of 1963, and, in between these two, the mimeographed Handbok i logik written in 1959. I concur in Göran Sundholm’s remark in his paper of the present volume that Kanger’s main interest in this connection was not proofs themselves but provability and derivability and in particular the relation of these notions to semantical ones. A case in point is Kanger’s variant of Gentzen’s calculus of sequents for classical logic, LK, which Kanger develops in Provability in Logic. The purpose is there to give a new demonstration of Gödel’s completeness result that every valid formula is provable, i.e. has some proof, no matter which.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Kanger, Stig, 1957, Provability in Logic, Acta Universitatis Stockholmensis, Stockholm studies in philosophy 1, University of Stockholm.
Kanger, Stig, 1963, “Handbok i logik” (A simplified proof method for elementary logic), in P. Braffort amp; D. Hirschberg (eds.), Computer Programming and Formal Systems. Studies in logic and the foundations of mathematics, North-Holland, pp. 87–94.
Prawitz, Dag, 1960, An improved proof procedure, Theoria, 26, pp. 102–139.
Prawitz, Dag, 1969, Advances and problems in mechanical proof procedures, in: Machine Intelligence 4, ed. Meltzer, B. and Michie, Edinburgh University Press, pp. 59–71.
Prawitz, D., Prawitz, H., and Voghera, N., 1960, A mechanical proof procedure and its realization in an electronic computer, Journal of the Association for Computing Machinery, 7, pp. 102–128.
Robinson, J. A. 1965, A machine oriented logic based on the resolution principle, Journal of the Association for Computing Machinery, 12, pp. 23–44.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Prawitz, D. (2001). A Note on Kanger’s Work on Efficient Proof Procedures. In: Holmström-Hintikka, G., Lindström, S., Sliwinski, R. (eds) Collected Papers of Stig Kanger with Essays on His Life and Work. Synthese Library, vol 304. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0630-9_3
Download citation
DOI: https://doi.org/10.1007/978-94-010-0630-9_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0112-3
Online ISBN: 978-94-010-0630-9
eBook Packages: Springer Book Archive