Realizability 473

&
In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 39--472 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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

A. S. Troelstra. Realizability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 407–473. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):470-471.
Lambek's categorical proof theory and läuchli's abstract realizability.Victor Harnik & Michael Makkai - 1992 - Journal of Symbolic Logic 57 (1):200-230.
Provably total functions of Basic Arithemtic.Saeed Salehi - 2003 - Mathematical Logic Quarterly 49 (3):316.
KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic (1):33-58.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
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. New York: Elsevier.
A proof-theoretic framework for logic programming.Gerhard Jäger & Robert F. Stärk - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 639--682.
Classical descriptive set theory as a refinement of effective descriptive set theory.Yiannis N. Moschovakis - 2010 - Annals of Pure and Applied Logic 162 (3):243-255.
Eliminating identity: a reply to Wehmeier.Robert Trueman - 2014 - Australasian Journal of Philosophy 92 (1):1-8.
Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2023 - Review of Symbolic Logic 16 (2):425-448.

Analytics

Added to PP
2014-01-27

Downloads
14 (#1,283,901)

6 months
1 (#1,890,996)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references