Linked bibliography for the SEP article "Intuitionistic Logic" by Joan Moschovakis |
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Avigad, J. and Feferman, S., 1998, “Gödel's functional (”Dialectica“) interpretation,” Chapter V of Buss (ed.) 1998: 337–405.
- Bar-Hillel, Y. (ed.), 1965, Logic, Methodology and Philosophy of Science, Amsterdam: North Holland Publishing. (Scholar)
- Beeson, M. J., 1985, Foundations of Constructive Mathematics, Berlin: Springer. (Scholar)
- Benecerraf, P. and Hilary Putnam (eds.), 1983, Philosophy of Mathematics: Selected Readings, 2nd Edition, Cambridge: Cambridge University Press. (Scholar)
- Brouwer, L. E. J., 1907, “On the Foundations of Mathematics,” Thesis, Amsterdam; English translation in Heyting (ed.) 1975: 11–101. (Scholar)
- Brouwer, L. E. J., 1908, “The Unreliability of the Logical Principles,” English translation in Heyting (ed.) 1975: 107–111. (Scholar)
- Brouwer, L. E. J., 1912, “Intuitionism and Formalism,” English translation by A. Dresden, Bull. Amer. Math. Soc. 20 (1913): 81–96, reprinted in Benacerraf and Putnam (eds.) 1983: 77–89; also reprinted in Heyting (ed.) 1975: 123–138. (Scholar)
- Brouwer, L. E. J., 1923, 1954, “On the significance of the principle of excluded middle in mathematics, especially in function theory,” “Addenda and corrigenda,” and “Further addenda and corrigenda,” English translation in van Heijenoort (ed.) 1967: 334–345. (Scholar)
- Brouwer, L. E. J., 1927, “Intuitionistic reflections on formalism,” originally published in 1927, English translation in van Heijenoort (ed.) 1967: 490–492. (Scholar)
- Brouwer, L. E. J., 1948, “Consciousness, philosophy and mathematics,” originally published (1948), reprinted in Benacerraf and Putnam (eds.) 1983: 90–96. (Scholar)
- Burr, W., 2004, “The intuitionistic arithmetical hierarchy,” in J. van Eijck, V. van Oostrom and A. Visser (eds.), Logic Colloquium '99 (Lecture Notes in Logic 17), Wellesley, MA: ASL and A. K. Peters, 51–59. (Scholar)
- Buss, S. (ed.), 1998, Handbook of Proof Theory, Amsterdam and New York: Elsevier. (Scholar)
- Crossley, J., and M. A. E. Dummett (eds.), 1965, Formal Systems and Recursive Functions, Amsterdam: North-Holland Publishing. (Scholar)
- van Dalen, D. (ed.), 1981, Brouwer's Cambridge Lectures on Intuitionism, Cambridge: Cambridge University Press. (Scholar)
- Dummett, M., 1975, “The philosophical basis of intuitionistic logic,” originally published (1975), reprinted in Benacerraf and Putnam (eds.) 1983: 97–129. (Scholar)
- Friedman, H., 1975, “The disjunction property implies the numerical existence property,” Proc. Nat. Acad. Sci., 72: 2877–2878. (Scholar)
- Gentzen, G., 1934–5, “Untersuchungen Über das logische Schliessen,” Math. Zeitschrift, 39: 176–210, 405–431. (Scholar)
- Ghilardi, S., 1999, “Unification in intuitionistic logic,” Jour. Symb. Logic, 64: 859–880. (Scholar)
- Gödel, K., 1932, “Zum intuitionistischen Aussagenkalkül,” Anzeiger der Akademie der Wissenschaftischen in Wien 69: 65–66. (Scholar)
- Gödel, K., 1933, “Zur intuitionistischen Arithmetik und Zahlentheorie,” Ergebnisse eines mathematischen Kolloquiums, 4: 34–38. (Scholar)
- Gödel, K., 1958, “Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes,” Dialectica, 12: 280–287. Reproduced with an English translation in Gödel 1990: 241–251. (Scholar)
- Gödel, K., 1990, Collected Works, Vol. II, S. Feferman et al. (eds.), Oxford: Oxford University Press. (Scholar)
- Glivenko, V., 1929, “Sur qulques points de la logique de M. Brouwer,” Academie Royale de Belgique, Bulletins de la classe des sciences, 5 (15): 183–188. (Scholar)
- Harrop R., 1960, “Concerning formulas of the types A → B ∨ C, A → (Ex)B(x) in intuitionistic formal systems,” Jour. Symb. Logic, 25: 27–32. (Scholar)
- van Heijenoort, J. (ed.), 1967, From Frege to Gödel: A Source Book In Mathematical Logic 1879–1931, Cambridge, MA: Harvard University Press. (Scholar)
- Heyting, A., 1930, “Die formalen Regeln der intuitionistischen Logik,” in three parts, Sitzungsber. preuss. Akad. Wiss.: 42–71, 158–169. English translation of Part I in Mancosu 1998: 311–327. (Scholar)
- Heyting, A., 1956, Intuitionism: An Introduction, Amsterdam: North-Holland Publishing, 3rd revised edition, 1971. (Scholar)
- Heyting, A. (ed.), 1975, L. E. J. Brouwer: Collected Works 1: Philosophy and Foundations of Mathematics, Amsterdam and New York: Elsevier. (Scholar)
- Howard, W. A., 1973, “Hereditarily majorizable functionals of finite type,” in Troelstra (ed.) 1973: 454–461. (Scholar)
- Iemhoff, R., 2001, “On the admissible rules of intuitionistic propositional logic,” Jour. Symb. Logic, 66: 281–294. (Scholar)
- Iemhoff, R., 2005, “Intermediate logics and Visser's rules,” Notre Dame Jour. Form. Logic, 46: 65–81. (Scholar)
- Iemhoff, R. and Metcalfe, G., 2009, “Proof theory for admissible rules,” Annals of Pure and Applied Logic, 159: 171–186. (Scholar)
- Jerabek, E., 2008, “Independent bases of admissible rules,” Logic Journal of the IGPL, 16: 249–267. (Scholar)
- de Jongh, D. H. J., 1970, “The maximality of the intuitionistic propositional calculus with respect to Heyting's Arithmetic,” Jour. Symb. Logic, 6: 606. (Scholar)
- de Jongh, D. H. J., and Smorynski, C., 1976, “Kripke models and the intuitionistic theory of species,” Annals of Mathematical Logic, 9: 157–186. (Scholar)
- Kleene, S. C., 1945, “On the interpretation of intuitionistic number theory,” Jour. Symb. Logic, 10: 109–124. (Scholar)
- Kleene, S. C., 1965, “Classical extensions of intuitionistic mathematics,” in Bar-Hillel (ed.) 1965: 31-44. (Scholar)
- Kleene, S. C., 1952, Introduction to Metamathematics, Princeton: Van Nostrand. (Scholar)
- Kleene, S. C., 1969, Formalized Recursive Functionals and Formalized Realizability, Memoirs of the American Mathematical Society 89. (Scholar)
- Kleene, S. C. and Vesley, R. E., 1965, The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions, Amsterdam: North-Holland. (Scholar)
- Kreisel, G., 1962, “On weak completeness of intuitionistic predicate logic,” Jour. Symb. Logic, 27: 139–158. (Scholar)
- Kripke, S. A., “Semantical analysis of intuitionistic logic,” in J. Crossley and M. A. E. Dummett (eds.) 1965: 92–130. (Scholar)
- Mancosu, P., 1998, From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, New York and Oxford: Oxford University Press. (Scholar)
- Martin-Löf, P., 1984, Intuitionistic Type Theory, Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980, Napoli: Bibliopolis. (Scholar)
- Moschovakis, J. R., 2003, “Classical and constructive hierarchies in extended intuitionistic analysis,” Jour. Symb. Logic, 68: 1015–1043. (Scholar)
- van Oosten, J., 1991, “A semantical proof of de Jongh's theorem,” Arch. Math. Logic, 31: 105–114. (Scholar)
- van Oosten, J., 2002, “Realizability: a historical essay,” Math. Struct. Comp. Sci., 13: 239–263. (Scholar)
- van Oosten, J., 2008, Realizability: An Introduction to its Categorical Side, Amsterdam: Elsevier. (Scholar)
- Rybakov, V., 1997, Admissibility of Logical Inference Rules, Amsterdam: Elsevier. (Scholar)
- Smorynski, C. A., 1973, “Applications of Kripke models,” in Troelstra (ed.) 1973: 324–391. (Scholar)
- Spector, C., 1962, “Provably recursive functionals of analysis: a consistency proof of an analysis by an extension of principles formulated in current intuitionistic mathematics,” Recursive Function Theory: Proceedings of Symposia in Pure Mathematics, Vol. 5, J. C. E. Dekker (ed.), Providence, RI: American Mathematical Society, 1–27. (Scholar)
- van Stigt, W. P., 1990, Brouwer's Intuitionism, Amsterdam: North-Holland. (Scholar)
- Troelstra, A. S. (ed.), 1973, Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics 344), Berlin: Springer-Verlag. Corrections and additions available from the editor. (Scholar)
- Troelstra, A. S., 1991, “History of constructivism in the twentieth century,” ITLI Prepublication Series ML–1991–05, Amsterdam. (Scholar)
- Troelstra, A. S., “Realizability,” Chapter VI of Buss (ed.), 1998: 407–473. (Scholar)
- Troelstra, A. S., Introductory note to 1958 and 1972, in Gödel, 1990: 217–241.
- Troelstra, A. S. and van Dalen, D., 1988, Constructivism in Mathematics: An Introduction, in two volumes, Amsterdam: North-Holland Publishing. (Scholar)
- Veldman, W., 1976, “An intuitionistic completeness theorem for intuitionistic predicate logic,” Jour. Symb. Logic, 41: 159–166. (Scholar)
- Veldman, W., 1990, “A survey of intuitionistic descriptive set theory,” in P. P. Petkov (ed.), Mathematical Logic, Proceedings of the Heyting Conference, New York and London: Plenum Press, 155–174.
- Veldman, W., 2005, “Two simple sets that are not positively Borel,” Annals of Pure and Applied Logic, 135: 151–209. (Scholar)
- Vesley, R. E., 1972, “Choice sequences and Markov's principle,” Compositio Mathematica, 24: 33–53. (Scholar)
- Visser, A., 1999, “Rules and arithmetics,” Notre Dame Jour. Form. Logic, 40: 116–140. (Scholar)
- Visser, A., 2002, “Substitutions of Sigma01 sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic,” Annals of Pure and Applied Logic, 114: 227–271. (Scholar)
Generated Mon Apr 29 04:25:23 2013
