Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Research Article
Interpretations of set theory and ordinal number theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-161
-
- Article
- Export citation
Other
Notice on reprinting material from this Journal
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Research Article
Simplicity of recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-172
-
- Article
- Export citation
Recursion, metarecursion, and inclusion
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-179
-
- Article
- Export citation
Some theorems on extensions of arithmetic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-189
-
- Article
- Export citation
On η-valued functionally complete truth functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-195
-
- Article
- Export citation
Proof of the law of infinite conjunction using the perfect disjunctive normal form1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
-
- Article
- Export citation
Intensional interpretations of functionals of finite type I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-212
-
- Article
- Export citation
Strong reduction and normal form in combinatory logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-223
-
- Article
- Export citation
Axioms for strong reduction in combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-236
-
- Article
- Export citation
The decidability of hindley's axioms for strong reduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-239
-
- Article
- Export citation
Reviews
Ignacio Angelelli. Vorbemerkung. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, p. VI. - Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. A reprint of 491. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. VII-XVI, 1–88. - Gottlob Frege. Anwendungen der Begriffsschrift. A reprint of 492. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 89–93. - Gottlob Frege. Ueber den Briefwechsel Leibnizens und Huygens mit Papin. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 93–96. (Reprinted from Sitzungsberichte der Jenaischen Gesellschaft für Medicin und Naturwissenschaft für das Jahr 1881, pp. 29–32.) - Gottlob Frege, Ueber den Zweck der Begriffsschrift. A reprint of 493. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 97–106. - Gottlob Frege. Ueber die wissenschaftliche Berechtigung einer Begriffsschrift. A reprint of 494. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 106–114. - H. Scholz. Anmerkungen zur “Begriffsschrift.” With explanation by the editor. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 115–116. - Edmund Husserl. Anmerkungen zur Begriffsschrift. With explanation by the editor. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 117–121. - Ignacio Angelelli. Textkritische Bemerkungen. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 122–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-242
-
- Article
- Export citation
Georges Kalinowski. Introduction à la logique juridique. Éléments de sémiotique juridique, logique des normes et logique juridique. With a preface by Ch. Perelman. Bibliothèque de philosophie du droit, volume III. Librairie Générale de Droit et de Jurisprudence, Paris1965, vi + 188 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
-
- Article
- Export citation
Roderick M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis (Oxford), vol. 24 no. 2 (1963), pp. 33–36. - Mark Fisher. A contradiction in deontic logic?Analysis (Oxford), vol. 25 no. 1 (1964), pp. 12–13. - G. H. von Wright. A new system of deontic logic. Danish yearbook of philosophy, vol. 1 (1964), pp. 173–182. - G. H. von Wright. A correction to a new system of deontic logic. Danish yearbook of philosophy, vol. 2 (1965), pp. 103–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
M. J. Poliferno. Decision algorithms for some functional calculi with modality. Logique et analyse, n.s. vol. 4 (1961), pp. 138–153. - M. J. Poliferno. Correction to a paper on modal logic. Logique et analyse, n.s. vol. 7 (1964), pp. 32–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 (1962), pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 (1962), pp. 206–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
-
- Article
- Export citation
A. N. Prior. Tense-logic and the continuity of time. English, with Polish and Russian summaries. Studia logica, vol. 13 (1962), pp. 133–151. - R. A. Bull. An algebraic study of Diodorean modal systems. The journal of symbolic logic, vol. 30 (1965), pp. 58–64. - A. N. Prior. Postulates for tense-logic. American philosophical quarterly, vol. 3 (1966), pp. 153–161.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
J. W. N. Watkins. Between analytic and empirical. Philosophy, vol. 32 (1957), pp. 112–131. - Carl G. Hempel. Empirical statements and falsifiability.Philosophy, vol. 33 (1958), pp. 342–348. - J. W. N. Watkins. A rejoinder to Professor Hempel's reply.Philosophy, pp. 349–355. - Israel Scheffler. A note on confirmation. Philosophical studies (Minneapolis), vol. 11 (1960), pp. 21–23. - J. W. N. Watkins. Professor Scheffler's note.Philosophical studies (Minneapolis), vol. 12 (1961), pp. 16–19. - Israel Scheffler. A rejoinder on confirmation.Philosophical studies (Minneapolis), vol. 12 (1961), pp. 19–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-249
-
- Article
- Export citation
H. G. Alexander. The paradoxes of confirmation. The British journal for the philosophy of science, vol. 9 (1958–1959), pp. 227–233. - J. Agassi. Corroboration versus induction. The British journal for the philosophy of science, vol. 9 (1958–1959), pp. 311–317. - H. G. Alexander. The paradoxes of confirmation—a reply to Dr. Agassi.The British journal for the philosophy of science, vol. 10 (1959–1960), pp. 229–234. - J. W. N. Watkins. Confirmation without background knowledge. The British journal for the philosophy of science, vol. 10 (1959–1960), pp. 318–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
-
- Article
- Export citation