The use of Kripke's schema as a reduction principle

Journal of Symbolic Logic 42 (2):238-240 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Discussion. More about dynamical reduction and the enumeration principle.A. Bassi & G.-C. Ghirardi - 1999 - British Journal for the Philosophy of Science 50 (4):719-734.
Approaches to reduction.Kenneth F. Schaffner - 1967 - Philosophy of Science 34 (2):137-147.
Arguing for Frege's Fundamental Principle.Bryan Frances - 1998 - Mind and Language 13 (3):341–346.
Reduction and genetics.David L. Hull - 1981 - Journal of Medicine and Philosophy 6 (2):125-144.
More about Dynamical Reduction and the Enumeration Principle.Angelo Bassi & GianCarlo Ghirardi - 1999 - British Journal for the Philosophy of Science 50 (4):719-734.

Analytics

Added to PP
2009-01-28

Downloads
208 (#97,637)

6 months
8 (#370,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dirk Van Dalen
Utrecht University

Citations of this work

An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.

Add more citations

References found in this work

Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.

Add more references