An Approach to Constructive Mathematical Logic

, &
Journal of Symbolic Logic 40 (1):85-85 (1975)
  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: 91,783

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

Review: A. A. Markov, B. van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Topics in Mathematical Logic Characterisations of Small Constructive Ordinals ; Constructive Finite Number Classes.Diana Schmidt - 1972
On Weak Markov's Principle.Ulrich Kohlenbach - 2002 - Mathematical Logic Quarterly 48 (S1):59-65.
The constructive completion of the space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.
Review: S. C. Kleene, Mathematical Logic: Constructive and Non-Constructive Operations. [REVIEW]Julia Robinson - 1962 - Journal of Symbolic Logic 27 (1):78-78.
Mathematical Logic and Modern Formal Logic.A. A. Vetrov - 1964 - Russian Studies in Philosophy 3 (1):24-33.
A New Approach to Constructive Topology and Measure Theory.A. K. Khalifa - 1989 - Mathematical Logic Quarterly 35 (6):539-550.
Sequential Modification of Constructive Logic Calculus for Normal Formulas without Structural Deduction Rules.R. A. Plyushkevychus - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 70--76.
A constructive treatment of Urysohn's Lemma in an apartness space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
Complements of Intersections in Constructive Mathematics.Douglas S. Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (1):35-43.
On Constructive Groups.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 32--35.
Lebesgue integral in constructive analysis.Oswald Demuth - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 9--14.
Problem of decidability for some constructive theories of equalities.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 29--31.
On Maximal Continuity Regulators for Constructive Functions.A. O. Slisenko - 1969 - In Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 82--84.

Analytics

Added to PP
2015-02-05

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

Notes on Constructive Negation.Grigori Mints - 2006 - Synthese 148 (3):701-717.
Dual realizability in symmetric logic.I. D. Zaslavsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):389-397.

Add more citations

References found in this work

No references found.

Add more references