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)

Links

PhilArchive



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

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

Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
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.
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
62 (#251,403)

6 months
12 (#183,686)

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.
Herbrand's theorem as higher order recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh - 2020 - Annals of Pure and Applied Logic 171 (6):102792.

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