Exploiting partial constructivity relatively to non–constructive lemmas in given proofs

Bulletin of Symbolic Logic 1:243-244 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Piron's and Bell's Geometric Lemmas and Gleason's Theorem.Georges Chevalier, Anatolij Dvurečenskij & Karl Svozil - 2000 - Foundations of Physics 30 (10):1737-1755.
Partial Up and Down Logic.Jan O. M. Jaspars - 1995 - Notre Dame Journal of Formal Logic 36 (1):134-157.
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics.Ricardo Caferra, Stéphane Demri & Michel Herment - 1993 - Studia Logica 52 (2):197 - 232.
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 101--128.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Extensionality Versus Constructivity.Silvio Valentini - 2002 - Mathematical Logic Quarterly 48 (2):179-187.
Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge University Press.
Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples.Andrzej Orlicki - 1991 - Mathematical Logic Quarterly 37 (26‐30):439-452.
Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results.Andrzej Orlicki - 1991 - Mathematical Logic Quarterly 37 (19‐22):307-316.
Strongly uniform bounds from semi-constructive proofs.Philipp Gerhardy & Ulrich Kohlenbach - 2006 - Annals of Pure and Applied Logic 141 (1):89-107.
Simplified Lower Bounds for Propositional Proofs.Alasdair Urquhart & Xudong Fu - 1996 - Notre Dame Journal of Formal Logic 37 (4):523-544.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.
Stepping up lemmas in definable partitions.Evangelos Kranakis - 1984 - Journal of Symbolic Logic 49 (1):22-31.

Analytics

Added to PP
2014-01-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Relative constructivity.Ulrich Kohlenbach - 1998 - Journal of Symbolic Logic 63 (4):1218-1238.

Add more citations

References found in this work

No references found.

Add more references