Theories of Proof-Theoretic Strength Ψ

, &
In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 115-140 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-007

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,533

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

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories.Gerhard Jäger & Dieter Probst - 2011 - Annals of Pure and Applied Logic 162 (8):647-660.
Gerhard Jäger and Robert F. Stärk. A proof-theoretic framework for logic programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 639–682. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):475-476.
On the proof theory of type two functionals based on primitive recursive operations.David Steiner & Thomas Strahm - 2006 - Mathematical Logic Quarterly 52 (3):237-252.
Remarks on Barr’s Theorem: Proofs in Geometric Theories.Michael Rathjen - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 347-374.
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 251-268.
Proof-Oriented Categorical Semantics.Marco Benini - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 41-68.
Aristotle’s Deductive Logic: a Proof-Theoretical Study.Jan von Plato - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 323-346.
Introduction.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 1-4.

Analytics

Added to PP
2016-07-30

Downloads
33 (#564,298)

6 months
4 (#1,145,416)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ulrik Buchholtz
Nottingham University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references