REVIEWS-Realizability

&
Bulletin of Symbolic Logic 6 (4):470-471 (2000)
  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: 91,386

External links

  • This entry has no external links. Add one.
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.
Review: Samuel R. Buss, Handbook of Proof Theory: Realizability. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):470-471.
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.
Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.

Analytics

Added to PP
2014-03-26

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references