Desktop version

Home arrow Philosophy arrow Advances in Proof-Theoretic Semantics


1. Carnap, R.: Logische Syntax der Sprache. Springer, Wien (1934)

2. Dummett, M.: The philosophical basis of intuitionistic logic. In: Rose, H.E., et al. (eds.) Logic

Colloquium '73, pp. 5–40. Amsterdam, North-Holland (1975)

3. Dummett, M.: The Logical Basis of Metaphysics. Duckworth, London (1991)

4. Gentzen, G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, 176–

210, 405–431 (1934–1935)

5. Heyting, A.: Sur la logique intuitionniste. Académie Royale de Belgique, Bulletin de la Classe

des Sciences 16, 957–963 (1930)

6. Heyting, A.: Die intuitionistische Grundlegung der Mathematik. Erkenntnis 2, 106–115 (1931)

7. Heyting, A.: Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Springer, Berlin (1934)

8. Heyting, A.: Intuitionism in mathematics. In: Klibansky, R. (ed.) Philosophy in the MidCentury, pp. 101–115. La Nuova Italia, Florence (1958)

9. Howard, W.: The formula-as-types notion of construction. In: Seldin, J., et al. (eds.) To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 479-490. Academic Press, London (1980)

10. Kreisel, G.: Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity of Mathematics, pp. 101–128. North-Holland, Amsterdam (1959)

11. Kreisel, G.: On weak completeness of intuitionistic predicate logic. J. Symb. Log. 27, 139-158 (1962)

12. Kreisel, G.: Foundations of intuitionistic logic. In: Nagel, E., et al. (eds.) Logic, Methodology and Philosophy of Science, pp. 198-212. Stanford University Press, Stanford (1962)

13. Kreisel, G.: Book reviews, the collected papers of Gerhard Gentzen. J. Philos. 68, 238–265 (1971)

14. Martin-Löf, P.: Hauptsatz for the intuitionistic theory of iterated inductive definitions. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 179-216. North-Holland, Amsterdam (1971)

15. Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis, Napoli (1984)

16. Prawitz, D.: Natural Deduction: A Proof-Theoretic Study. Almqvist & Wicksell, Stockholm. (1965) (Republished, Dover Publications, New York (2006))

17. Prawitz, D.: Ideas and results in proof theory. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 235-307. North-Holland, Amsterdam (1971)

18. Prawitz, D.: Towards a foundation of general proof theory. In: Suppes, P., et al. (eds.) Logic, Methodology and Philosophy of Science IV, pp. 225–250. North-Holland, Amsterdam (1973)

19. Prawitz, D.: On the idea of a general proof theory. Synthese 27, 63–77 (1974)

20. Prawitz, D.: Meaning approached via proofs. Synthese 148, 507–524 (2006)

21. Prawitz, D.: Explaining deductive inference. In: Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 65–100. Springer, Cham (2015)

22. Schroeder-Heister, P.: Validity concepts in proof-theoretic semantics. Synthese 148, 525–571 (2006)

23. Troelstra, A.S.: Aspects of constructive mathematics. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 973–1052. North-Holland, Amsterdam (1977)

24. Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 2. North-Holland, Amsterdam (1988)

25. von Plato, J.: Gentzen's proof of normalization for intuitionistic natural deduction. Bull. Symb.

Log. 14, 240-257 (2008)

Found a mistake? Please highlight the word and press Shift + Enter  
< Prev   CONTENTS   Next >