General Proof Theory: Introduction

&
Studia Logica 107 (1):1-5 (2019)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-018-9818-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Proof theory of classical and intuitionistic logic.Jan von Plato - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
On the Proof-theoretic Foundation of General Definition Theory.Lars Hallnäs - 2006 - Synthese 148 (3):589-602.
Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Introduction to proof in abstract mathematics.Andrew Wohlgemuth - 2011 - Mineola, N.Y.: Dover Publications.
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
The Fundamental Problem of General Proof Theory.Dag Prawitz - 2019 - Studia Logica 107 (1):11-29.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen.Peter Schroeder-Heister - 2002 - Bulletin of Symbolic Logic 8 (2):246-265.
Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of Proof Theory. Elsevier.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
omnibus Review. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2018-09-11

Downloads
54 (#293,687)

6 months
5 (#627,481)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A Logic for Best Explanations.Jared Millson & Christian Straßer - 2019 - Journal of Applied Non-Classical Logics 29 (2):184-231.

Add more citations

References found in this work

[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.

View all 16 references / Add more references