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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

Multiple realizability.Eric Funkhouser - 2007 - Philosophy Compass 2 (2):303–315.
Confined modified realizability.Gilda Ferreira & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (1):13-28.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Testing multiple realizability: A discussion of Bechtel and Mundale.Sungsu Kim - 2002 - Philosophy of Science 69 (4):606-610.
A liberal conception of multiple realizability.Eric Funkhouser - 2007 - Philosophical Studies 132 (3):467-494.
Multiple Realizability and Novel Causal Powers.Ricardo Restrepo - 2011 - Abstracta 6 (2):216-230.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
In Domain Realizability, not all Functionals on C[–1, 1] are Continuous.Martín Escardó & Thomas Streicher - 2002 - Mathematical Logic Quarterly 48 (S1):41-44.
Review: S. C. Kleene, Realizability; S. C. Kleene, Realizability. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
Multiple-realizability, explanation, and the disjunctive move.W. Jaworksi - 2002 - Philosophical Studies 108 (3):298-308.
Multiple realizability and reduction: A defense of the disjunctive move.Sven Walter - 2006 - Metaphysica 7 (1):43-65.

Analytics

Added to PP
2014-01-27

Downloads
13 (#1,043,598)

6 months
2 (#1,206,551)

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