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

DOI

10.2307/420973

Links

PhilArchive



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

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

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.
Extensional realizability.Jaap van Oosten - 1997 - Annals of Pure and Applied Logic 84 (3):317-349.
Multiple realizability.Eric Funkhouser - 2007 - Philosophy Compass 2 (2):303–315.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Confined modified realizability.Gilda Ferreira & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (1):13-28.
Realizing Brouwer's sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.
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.
Analyzing realizability by Troelstra's methods.Joan Rand Moschovakis - 2002 - Annals of Pure and Applied Logic 114 (1-3):203-225.
Relative and modified relative realizability.Lars Birkedal & Jaap van Oosten - 2002 - Annals of Pure and Applied Logic 118 (1-2):115-132.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
Dual realizability in symmetric logic.I. D. Zaslavsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):389-397.
Review: S. C. Kleene, Realizability; S. C. Kleene, Realizability. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
Lifschitz' realizability.Jaap van Oosten - 1990 - Journal of Symbolic Logic 55 (2):805-821.

Analytics

Added to PP
2015-02-06

Downloads
31 (#501,295)

6 months
8 (#352,434)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
A constructive game semantics for the language of linear logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references