Constructive validity is nonarithmetic

Journal of Symbolic Logic 53 (4):1036-1041 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274603

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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

What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk.David Charles McCarty & Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:119-137.
A Constructive Logic.A. A. Markov - 1953 - Journal of Symbolic Logic 18 (3):257-257.
Constructive semantics, admissibility of rules and the validity of Peirce's law.W. De Campos Sanz, T. Piecha & P. Schroeder-Heister - 2014 - Logic Journal of the IGPL 22 (2):297-308.
Some Properties of Constructive Real Numbers and Constructive Functions.E. Mendelson - 1975 - Journal of Symbolic Logic 40 (3):454-454.
Brouwer’s weak counterexamples and testability: Further remarks: Brouwer’s weak counterexamples and testability: Further remarks.Charles Mccarty - 2013 - Review of Symbolic Logic 6 (3):513-523.
An Approach to Constructive Mathematical Logic.A. A. Markov, B. van Rootselaar & J. F. Staal - 1975 - Journal of Symbolic Logic 40 (1):85-85.
Deductive validity and reduction classes.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 26--28.
Review: A. A. Markov, A Constructive Logic. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):257-257.
Games, logic, and constructive sets. [REVIEW]Ian Hodkinson - 2005 - Bulletin of Symbolic Logic 11 (3):439-441.

Analytics

Added to PP
2009-01-28

Downloads
45 (#501,785)

6 months
13 (#282,608)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Reply to Crispin Wright and Richard Zach.Ian Rumfitt - 2018 - Philosophical Studies 175 (8):2091-2103.

View all 7 citations / Add more citations

References found in this work

Realizability and recursive set theory.Charles McCarty - 1986 - Annals of Pure and Applied Logic 32:153-183.
Skolem's paradox and constructivism.Charles McCarty & Neil Tennant - 1987 - Journal of Philosophical Logic 16 (2):165 - 202.

Add more references