13629 results in The Journal of Symbolic Logic
A note on the hyperarithmetical hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 429-430
- Print publication:
- September 1970
-
- Article
- Export citation
William of Sherwood. Treatise on syncategorematic words. Translated with an introduction and notes by Norman Kretzmann. University of Minnesota Press, Minneapolis1968, xvii + 173 pp. - Norman Kretzmann. Preface. Therein, pp. v–vii. - Norman Kretzmann. Translator's introduction. Therein, pp. 3–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-451
- Print publication:
- September 1970
-
- Article
- Export citation
R. W. Ritchie. A rudimentary definition of addition. The journal of symbolic logic, vol. 30 (1965), pp. 350–354.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 475
- Print publication:
- September 1970
-
- Article
- Export citation
Tadeusz Kotarbiński. Introduction. Notes on the development of formal logic in Poland in the years 1900–39. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 1–14. - Jan Łukasiewicz. On the notion of possibility. English translation of the first half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 15–16. - Jan Łukasiewicz. On three-valued logic. English translation of the second half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 16–18. - Jan Łukasiewicz. On determinism. English translation of XXXIII 130 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 19–39. - Jan Łukasiewicz. Philosophical remarks on many-valued systems of propositional logic. English translation of 1868 by H. Weber. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 40–65. - Jan Łukasiewicz. On the history of the logic of propositions. English translation of 18613 by S. McCall. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 66–87. - Jan Łukasiewicz. The equivalential calculus. English translation of VI115 by P. Woodruff. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 88–115. - Stanisław Leśniewski. Introductory remarks to the continuation of my article: ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik.’ English translation of V 83 by W. Teichmann and S. McCall. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 116–169. - Stanisław Leśniewski. On definitions in the so-called theory of deduction. English translation of 20213 by E. C. Luschei. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 170–187. - Bolesław Sobociński. Successive simplifications of the axiom-system of Leiniewski's ontology. English translation of 4432 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 188–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-446
- Print publication:
- September 1970
-
- Article
- Export citation
Construction of models for algebraically generalized recursive function theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-409
- Print publication:
- September 1970
-
- Article
- Export citation
Ludwik Borkowski. Kilka uwag o pojęciu definicji (Some remarks about the notion of definition). Polish with Russian and English summaries. Studia logica, vol. 23 (1968), pp. 59–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
- Print publication:
- September 1970
-
- Article
- Export citation
Georg Henrik von Wright. Form and content in logic. A revised reprint of XV 58(2), 199(2), 280(2). Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 1–21. - Georg Henrik von Wright. On the idea of logical truth (I). A revised reprint of XV 58(1), 199(1), 280(1). Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 22–43. - Georg Henrik von Wright. On double quantification. A revised reprint of XVII 201. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 44–57. - Georg Henrik von Wright. Deontic logic. A revised reprint of XVII 140. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 58–74. - Georg Henrik von Wright. Interpretations of modal logic. A revised reprint of XVIII 176. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 75–88. - Georg Henrik von Wright. A new system of modal logic. A revised version of XIX 66. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 89–126. - Georg Henrik von Wright. On conditionals. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 127–165. - Georg Henrik von Wright. The concept of entailment. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 166–191.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-462
- Print publication:
- September 1970
-
- Article
- Export citation
Julia Robinson. Recursive functions of one variable. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 815–820.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
- Print publication:
- September 1970
-
- Article
- Export citation
Paul Axt. Iteration of relative primitive recursion. Mathematische Annalen, vol. 167 (1966), pp. 53–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
- Print publication:
- September 1970
-
- Article
- Export citation
A. N. Prior. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 (1959), pp. 122–127. - R. A. Bull. An axiomatization of Prior's modal calculus . Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 211–214. - A. N. Prior. Axiomatisations of the modal calculus . Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 215–217.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 464
- Print publication:
- September 1970
-
- Article
- Export citation
Notices of meetings of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 491
- Print publication:
- September 1970
-
- Article
- Export citation
Layman E. Allen, Robin B. S. Brooks, James W. Dickoff, and Patricia A. James. The ALL project (accelerated learning of logic). The American mathematical monthly, vol. 68 (1961), pp. 497–500.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 484
- Print publication:
- September 1970
-
- Article
- Export citation
Announcing Philosophia, an Israeli journal of Philosophy
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 490
- Print publication:
- September 1970
-
- Article
- Export citation
Haskell B. Curry. The deduction theorem in the combinatory theory of restricted generality. Logique et analyse, n.s. vol. 3 (1960), pp. 15–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
- Print publication:
- September 1970
-
- Article
- Export citation
William P. Alston. The quest for meanings. Mind, n.s. vol. 72 (1963), pp. 79–87. - William P. Alston. Meaning and use. The philosophical quarterly (St. Andrews), vol. 13 (1963), pp. 107–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-457
- Print publication:
- September 1970
-
- Article
- Export citation
Jaakko Hintikka. A two-dimensional continuum of inductive methods. Aspects of inductive logic, edited by Jaakko Hintikka and Patrick Suppes, Studies in logic and foundations of mathematics, North-Holland Publishing Company, Amsterdam1966, pp. 113–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 455
- Print publication:
- September 1970
-
- Article
- Export citation
G. B. Keene. The relational syllogism. A systematic approach to relational logic. University of Exeter, Exeter1969, iv + 35 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-450
- Print publication:
- September 1970
-
- Article
- Export citation
A coding theorem for isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-382
- Print publication:
- September 1970
-
- Article
- Export citation
Georg Henrik von Wright. “And next.”Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22. X. 1965.Acta philosophica Fennica, no. 18, Helsinki1965, pp. 293–304. - G. H. von Wright. “And then.”Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 32 no. 7, Helsinki1966, 11 pp. - G. H. von Wright. Quelques remarques sur la logique du temps et les systèmes modales. “Scientia,” vol. 102 (1967), pp. 2–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-460
- Print publication:
- September 1970
-
- Article
- Export citation
Miroslav Mleziva. К axiomatisaci trojhodnotové výrokové logiky (On the axiomatization of three-valued prepositional logic). Czech with Czech, Russian, and English summaries. Časopis pro pěstování matematiky, vol. 86 (1961), pp. 392–403.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
- Print publication:
- September 1970
-
- Article
- Export citation