13629 results in The Journal of Symbolic Logic
Carol Karp. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 1–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
- Print publication:
- June 1970
-
- Article
- Export citation
R. S. Walters. Contrary-to-fact conditional. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 212–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
- Print publication:
- June 1970
-
- Article
- Export citation
Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189(12) by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189(13) by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definitionsbereiche von Funktionen (Mathematische Annalen, vol. 97 (1926–27), pp. 60–75) by Stefan Bauer-Mengelberg. - Luitzen Egbertus Jan Brouwer. Intuitionistic reflections on formalism. English translation of §1 of 15520 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 490–492.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- June 1970
-
- Article
- Export citation
Gerold Stahl. Ideas generales de la lógica combinatoria. Revista de matemáticas de la Universidad de Chile, vol. 5 no. 1 (1958), pp. 20–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
- Print publication:
- June 1970
-
- Article
- Export citation
Hector-Neri Castañeda. Imperative reasonings. Philosophy and phenomenological research, vol. 21 no. 1 (1960), pp. 21–49. - B. A. O. Williams. Imperative inference. I. Analysis (Oxford), vol. 23 suppl. (1963), pp. 30–36. - P. T. Geach. Imperative inference. II. Analysis (Oxford), vol. 23 suppl. (1963), pp. 37–42. - Nicholas Rescher and John Robison. Can one infer commands from commands?Analysis (Oxford), vol. 24 no. 5 (1964), pp. 176–179. - André Gombay. Imperative inference and disjunction. Analysis (Oxford), vol. 25 no. 3 (1965), pp. 58–62. - Lennart Åqvist. Choice-offering and alternative-presenting disjunctive commands. Analysis (Oxford), no. 5 (1965), pp. 182–184. - A. J. Kenny. Practical inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 65–75. - P. T. Geach. Dr. Kenny on practical inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 76–79. - Yehoshua Bar-Hillel. Imperative inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 79–82. - André Gombay. What is imperative inference?Analysis (Oxford), vol. 27 no. 5 (1967), pp. 145–152. - R. M. Hare. Some alleged differences between imperatives and indicatives. Mind, n.s. vol. 76 (1967), pp. 309–326. - Alfred F. MacKay. Inferential validity and imperative inference rules. Analysis (Oxford), vol. 29 no. 5 (1969), pp. 145–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-318
- Print publication:
- June 1970
-
- Article
- Export citation
Manley Thompson. Categories. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 46–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- June 1970
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-363
- Print publication:
- June 1970
-
- Article
- Export citation
G. E. Minc. Priložénié. Téoréma Erbrana (Appendix. Herbrand's theorem). Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 311–350.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-325
- Print publication:
- June 1970
-
- Article
- Export citation
A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov (Editor's foreword). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika (Translator's addition). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 77–153. - Gerhard Gentzen. Novoé izložénié dokazatél′stva néprotivoréčivosti dlá čistoj téorii čisél. Russian translation of IV 31 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 154–190. - E. W. Beth. Métod sémantičéskih tablic. Russian translation of paragraph 67 omitting the examples, and of portions of paragraphs 68, 70, and 92 of XXVII 73 by A. O. Slisénko, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 191–199. - Stig Kanger. Uproščénnyj métod dokazatél′stva dlá eléméntarnoj logiki. Russian translation of XXXII 119 by S. Ú. Maslov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 200–207. - S. C. Kleene. Péréstanovočnost′ priménénij pravil v géncénovskih isčisléniáh LK i LJ. Russian translation of XIX 62(1) by V. P. Orévkov and A. V. Sočilina, with added footnotes by the translators. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 208–236. - S. C. Kleene. Konéčnaá aksiomatiziruémost′ téorij v isčislénii prédikatov s pomošč′ú dopolnitél′nyh prédikatnyh simvolov. Russian translation of XIX 62(2) by G. V. Davidov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 237–284. - K. Schütte. Intérpolácionnaá téoréma dlá intuicionistskoj logiki prédikatov. Russian translation of XXIX 145 by A. O. Slisénko. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 285–295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 323
- Print publication:
- June 1970
-
- Article
- Export citation
H. Hiż. Chwistek, Leon. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 112–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
- Print publication:
- June 1970
-
- Article
- Export citation
Don Davis Roberts. The existential graphs and natural deduction. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst1964, pp. 109–121.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
- Print publication:
- June 1970
-
- Article
- Export citation
James Thomson. Infinity in mathematics and logic. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 183–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
- Print publication:
- June 1970
-
- Article
- Export citation
The decision problem for formulas in prenex conjunctive normal form with binary disjunctions
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-216
- Print publication:
- June 1970
-
- Article
- Export citation
Z. A. Jordan. Ajdukiewicz, Kazimierz. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 62–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
- Print publication:
- June 1970
-
- Article
- Export citation
Mary Hesse. Models and analogies in science. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 354–359.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- June 1970
-
- Article
- Export citation
A. V. Gladkij. Nékotoryé algoritmičéskié problémy dlá kontékstno-svobodnyh grammatik (Certain algorithmic problems for context-free grammars). Algébra i logika, Séminar, vol. 4 no. 1 (1965), pp. 3–13. - A. V. Gladkij. Algoritmičéskaá néraspoznavaémost′ suščéstvénnoj néoprédélénnosti kontékstno-svobodnyh ázykov (Algorithmic unsolvability of inherent ambiguity in context-free languages). Algébra i logika, Séminar, vol. 4 no. 4 (1965), pp. 53–63. - O. S. Kulagina. Ob odnom sposobé oprédéléniá grammatičéskih ponátij na bazé téorii množéstv (On a way of defining grammatical notions using set theory). Problémy kibérnétiki, vol. 1 (1958), pp. 203–214. - A. V. Gladku. Konfiguracionnyé haraktéristiki ázykov (Configuration characteristics of languages). Problémy kibérnétiki, vol. 10 (1963), pp. 251–260. - V. D. Lučkin. O rangah konfiguracij kontékstnosvobodnyh ázykov (On the ranks of configurations of context-free languages). Algébra i logika, Séminar, vol. 5 no. 3 (1966), pp. 59–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- June 1970
-
- Article
- Export citation
Yehoshua Bar-Hillel. Bolzano, Bernard. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 337–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- June 1970
-
- Article
- Export citation
Jens Erik Fenstad. A note on “standard” versus “non-standard” topology. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 378–380; also Indagationes mathematicae, vol. 29 (1967), pp. 378–380.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- June 1970
-
- Article
- Export citation
G. H. von Wright. Nk. praktillisesta filosofiasta (On the so-called practical philosophy). Ajatus, vol. 14 (1947), pp. 383–396.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
- Print publication:
- June 1970
-
- Article
- Export citation
H. Hiż. Inferential equivalence and natural deduction. The journal of symbolic logic, vol. 22 (1957), pp. 237–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1970
-
- Article
- Export citation