Studies in constructive mathematics and mathematical logic

(ed.)
New York,: Consultants Bureau (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1971, 2014

Call number

QA9.I813

ISBN(s)

0306188163   1489956328   1489953299   9781489956323

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Method of establishing deducibility in classical predicate calculus.  (pages 1--4)G. V. Davydov
On the correction of unprovable formulas.  (pages 5--8)G. V. Daydov
Lebesgue integral in constructive analysis.  (pages 9--14)Oswald Demuth
Sufficient conditions of incompleteness for the formalization of parts of arithmetic.  (pages 15--20)N. K. Kosovskii
Normal form for deductions in predicate calculus with equality and functional symbols.  (pages 21--23)Vo A. Lifshits
Some reduction classes and undecidable theories.  (pages 24--25)V. A. Lifshits
Deductive validity and reduction classes.  (pages 26--28)V. A. Lifshits
Problem of decidability for some constructive theories of equalities.  (pages 29--31)V. A. Lifshits
On Constructive Groups.  (pages 32--35)V. A. Lifshits
Invertible sequential variant of constructive predicate calculus.  (pages 36--42)S. Yu Maslov
Choice of terms in quantifier rules of constructive predicate calculus.  (pages 43--46)G. E. Mints
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus.  (pages 47--51)G. E. Mints
Variation in the deduction search tactics in sequential calculi.  (pages 52--59)G. E. Mints
Imbedding operations associated with Kripke's “semantics”.  (pages 60--63)G. E. Mints
On Imbedding Operators.  (pages 64--66)G. E. Mints & V. P. Orevkov
Undecidability of a class of formulas containing just one single-place predicate variable in modal calculus.  (pages 67--69)V. P. Orevkov
Sequential Modification of Constructive Logic Calculus for Normal Formulas without Structural Deduction Rules.  (pages 70--76)R. A. Plyushkevychus
On sequential modifications of applied predicate calculi.  (pages 77--81)M. G. Rogava
On Maximal Continuity Regulators for Constructive Functions.  (pages 82--84)A. O. Slisenko
On the Representability of Algorithmically Decidable Predicates by Rabin Machines.  (pages 85--88)R. I. Friedzon

Similar books and articles

G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89.J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605.
Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
Between constructive mathematics and PROLOG.Gerhard Jäger - 1991 - Archive for Mathematical Logic 30 (5-6):297-310.
A New Philosophical Foundation of Constructive Mathematics.Antonino Drago - manuscript
The constructive completion of the space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.
Book Reviews.M. D. Potter - 1990 - New York: Oxford University Press.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
[Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
Aspects of constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise, Handbook of mathematical logic. New York: North-Holland. pp. 973–1052.

Analytics

Added to PP
2009-09-15

Downloads
37 (#1,441,091)

6 months
13 (#897,743)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.

Add more citations

References found in this work

No references found.

Add more references