Abstract
This special issue on general proof theory collects papers resulting from the conference on general proof theory held in November 2015 in Tübingen.
Article PDF
References
Adžić, M., (ed.) Kosta Došen, 1954–2017. Detailed Curriculum Vitae, 2018. https://doi.org/10.15496/publikation-23600.
Došen, K., On the paths of categories, in T. Piecha and P. Schroeder-Heister [13], pp. 65–77. https://doi.org/10.1007/978-3-319-22686-6_4.
Došen, K., and M. Adžić, Gödel on Deduction, Studia Logica, Special Issue: General Proof Theory, 2017. https://doi.org/10.1007/s11225-017-9774-4.
Gentzen, G., Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39: 176–210, 405–431, 1935.
Gordeev, L., and E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica, Special Issue: General Proof Theory, 2017. https://doi.org/10.1007/s11225-017-9773-5.
Gratzl, N., and E. Orlandelli, Logicality, Double-Line Rules, and Modalities, Studia Logica, Special Issue: General Proof Theory, 2018. https://doi.org/10.1007/s11225-017-9778-0.
Guerrieri, G., and A. Naibo, Postponement of raa and Glivenko’s Theorem, Revisited, Studia Logica, Special Issue: General Proof Theory, 2018. https://doi.org/10.1007/s11225-017-9781-5.
Kahle, R., Is There a “Hilbert Thesis”?, Studia Logica, Special Issue: General Proof Theory, 2018. https://doi.org/10.1007/s11225-017-9776-2.
Kahle, R., and P. Schroeder-Heister, (eds.) Proof-Theoretic Semantics, Special issue of Synthese, Volume 148, Issue 3, Springer, 2006. https://link.springer.com/journal/11229/148/3/page/1
Kreisel, G., A Survey of Proof Theory II, in J. E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium, vol. 63 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1971, pp. 109–170.
Martin-Löf, P., Intuitionistic Type Theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua 1980, Bibliopolis, Napoli, 1984.
Olkhovikov, G. K., and H. Wansing, Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic, Studia Logica, Special Issue: General Proof Theory, 2018. https://doi.org/10.1007/s11225-017-9779-z.
Piecha, T., and P. Schroeder-Heister, (eds.) Advances in Proof-Theoretic Semantics, vol. 43 of Trends in Logic, Springer, 2016. https://doi.org/10.1007/978-3-319-22686-6.
Piecha, T., and P. Schroeder-Heister, (eds.) General Proof Theory. Celebrating 50 Years of Dag Prawitz’s “Natural Deduction”. Proceedings of the Conference held in Tübingen, 27–29 November 2015, University of Tübingen, 2016. https://doi.org/10.15496/publikation-10394.
Piecha, T., and P. Schroeder-Heister, Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, Studia Logica, Special Issue: General Proof Theory, 2018. https://doi.org/10.1007/s11225-018-9823-7.
Prawitz, D., Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965. Reprinted by Dover Publications, Mineola, N.Y., 2006.
Prawitz, D., The Philosophical Position of Proof Theory, in R. E. Olson, and A. M. Paul, (eds.), Contemporary Philosophy in Scandinavia, Johns Hopkins Press, Baltimore, London, 1972, pp. 123–134.
Prawitz, D., Gentzen’s justification of inferences, in T. Piecha and P. Schroeder-Heister [14], pp. 263–276. https://doi.org/10.15496/publikation-10394.
Prawitz, D., The Fundamental Problem of General Proof Theory, Studia Logica, Studia Logica, Special Issue: General Proof Theory, 2018. https://doi.org/10.1007/s11225-018-9785-9.
Schroeder-Heister, P., Proof-Theoretic Semantics, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, 2012, revised 2018. https://plato.stanford.edu/entries/proof-theoretic-semantics/.
Schroeder-Heister, P., Kosta Došen (1954–2017), Studia Logica, Special Issue: General Proof Theory, 2018. https://doi.org/10.1007/s11225-018-9814-8.
The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics, https://homotopytypetheory.org/book, Institute for Advanced Study, 2013.
Tranchini, L., P. Pistone, and M. Petrolo, The Naturality of Natural Deduction, Studia Logica, Special Issue: General Proof Theory, 2017. https://doi.org/10.1007/s11225-017-9772-6.
Acknowledgements
This work was carried out within the French–German ANR-DFG Project “Beyond Logic: Hypothetical Reasoning in Philosophy of Science, Informatics, and Law”, DFG Grant Schr 275/17-1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Edited by Thomas Piecha and Peter Schroeder-Heister
Rights and permissions
About this article
Cite this article
Piecha, T., Schroeder-Heister, P. General Proof Theory: Introduction. Stud Logica 107, 1–5 (2019). https://doi.org/10.1007/s11225-018-9818-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9818-4