A semantics of evidence for classical arithmetic

Journal of Symbolic Logic 60 (1):325-337 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275524

Links

PhilArchive



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

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

General arithmetic.Andrew Boucher - manuscript
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Models for substructural arithmetics.Greg Restall - 2010
The Absolute Arithmetic and Geometric Continua.Philip Ehrlich - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:237 - 246.
Sind die urteile der arithmetik synthetisch a priori?Pirmin Stekeler-Weithofer - 1987 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 18 (1-2):215-238.
Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.

Analytics

Added to PP
2009-01-28

Downloads
68 (#244,277)

6 months
18 (#152,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
Games with 1-backtracking.Stefano Berardi, Thierry Coquand & Susumu Hayashi - 2010 - Annals of Pure and Applied Logic 161 (10):1254-1269.
Classical proof forestry.Willem Heijltjes - 2010 - Annals of Pure and Applied Logic 161 (11):1346-1366.

View all 20 citations / Add more citations

References found in this work

a.A. A. (ed.) - 2015 - Universidad Técnica Particular de Loja.
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Notes on constructive mathematics.Per Martin-Löf - 1970 - Stockholm,: Almqvist & Wiksell.

Add more references