Advertisement

Studia Logica

, Volume 107, Issue 1, pp 1–5 | Cite as

General Proof Theory: Introduction

  • Thomas PiechaEmail author
  • Peter Schroeder-Heister
Article
  • 146 Downloads

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.

Keywords

General proof theory Proof-theoretic semantics Natural deduction 

Notes

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.

References

  1. 1.
    Adžić, M., (ed.) Kosta Došen, 1954–2017. Detailed Curriculum Vitae, 2018.  https://doi.org/10.15496/publikation-23600.
  2. 2.
    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.
  3. 3.
    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.
  4. 4.
    Gentzen, G., Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39: 176–210, 405–431, 1935.CrossRefGoogle Scholar
  5. 5.
    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.
  6. 6.
    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.
  7. 7.
    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.
  8. 8.
    Kahle, R., Is There a “Hilbert Thesis”?, Studia Logica, Special Issue: General Proof Theory, 2018.  https://doi.org/10.1007/s11225-017-9776-2.
  9. 9.
    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
  10. 10.
    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.Google Scholar
  11. 11.
    Martin-Löf, P., Intuitionistic Type Theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua 1980, Bibliopolis, Napoli, 1984.Google Scholar
  12. 12.
    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.
  13. 13.
    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.
  14. 14.
    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.
  15. 15.
    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.
  16. 16.
    Prawitz, D., Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965. Reprinted by Dover Publications, Mineola, N.Y., 2006.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    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.
  19. 19.
    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.
  20. 20.
    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/.
  21. 21.
    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.
  22. 22.
    The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics, https://homotopytypetheory.org/book, Institute for Advanced Study, 2013.
  23. 23.
    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.

Copyright information

© Springer Nature B.V. 2018

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of TübingenTübingenGermany

Personalised recommendations