The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 19, Issue 4
Publication Date: December, 1954
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 19, Issue 4 (1954)
Reviews
Review: Karl Egil Aubert, On the Foundation of the Theory of Relations and the Logical Independence of Generalized Concepts of Reflexivity, Symmetry and Transitivity
Frank Harary; 284-285
Review: Karl Egil Aubert, Relations Generalisees et Independance Logique des Notions de Reflexivite, Symetrie et Transitivite
Paul Bernays; 285-286
Review: Ladislav Rieger, On Free $\aleph_\xi$-Complete Boolean Algebras (with an Application to Logic)
Roman Sikorski; 286-287
Review: Roman Sikorski, A Note to Rieger's Paper "On Free $\aleph_\xi$-Complete Boolean Algebras."
Helena Rasiowa; 287
Review: C. Ryll-Nardzewski, The Role of the Axiom of Induction in Elementary Arithmetic
Robert McNaughton; 287-288
Review: K. R. Popper, William Kneale, A. J. Ayer, Symposium: What Can Logic Do for Philosophy?
Charles A. Baylis; 290
Review: Ugo Cassina, L'Ideographie de Peano du Point de Vue de la Theorie du Language
Christopher Blake; 290-291
Review: N. O. Lossky, Analytic and Synthetic Propositions and Mathematical Logic
Christopher Blake; 291
Review: Takeo Sugihara, The Axiomatization of the Aristotelian Modal Logic
I. M. Bochenski; 292
Review: Robert Feys, Les Systemes Formalises des Modalites Aristoteliciennes
Naoto Yonemitsu; 292-293
Review: Boleslaw Sobocinski, Note on a Modal System of Feys-von Wright
Naoto Yonemitsu; 293
Review: Ruth Barcan Marcus, Strict Implication, Deducibility, and the Deduction Theorem
P. G. J. Vredenduin; 294
Review: Alan Rose, Some Self-Dual Primitive Functions for Propositional Calculi
Robert McNaughton; 294-295
Review: Alan Rose, A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives
Alonzo Church; 295
Review: Wilhelm Ackermann, Erweitertes System; Wilhelm Ackermann, Widerspruchsfreier Aufbau einer Typenfreien Logik. II
Ronald Harrop; 295-296
Review: G. F. C. Griss, Negationless Intuitionistic Mathematics II, III, IV
P. G. J. Vredenduin; 296-297
Review: N. A. Sanin, Some Operations on Logico-Arithmetical Formulas; N. A. Sanin, On Imbeddings of the Classical Logico-Arithmetical Calculus into the Constructive Logico-Arithmetical Calculus
Andrzej Mostowski; 297-298
Review: S. Jaskowski, Une Modification des Definitions Fondamentales de la Geometrie des Corps de M. A. Tarski
Robert McNaughton; 298
Review: Stanislaw Jaskowski, Quelques Problemes Actuels Concernant les Fondements des Mathematiques (Pewne Aktualne Zagadnienia z Zakresu Podstaw Matematyki)
Robert McNaughton; 298
Review: Ilona Bereczki, Nem Elemi Rekurziv Fuggveny Letezese (Existenze einer Nichtelementaren Rekursiven Funktion)
Rozsa Peter; 298-299
Review: A. Mostowski, A Lemma Concerning Recursive Functions and Its Applications
Rozsa Peter; 299-300
Review: Yehoshua Bar-Hillel, On Recursive Definitions in Empirical Sciences
Abner Shimony; 300
Review: Yehoshua Bar-Hillel, A Note on Comparative Inductive Logic
Abner Shimony; 300-301
Review: P. Hoenen, Recherches de Logique Formelle. La Structure du Systeme des Syllogismes et des Sorites--La Logique des Notions "au moins" et "tout au plus."
Robert Feys; 302-303
Review: Gustavo Bueno Martinez, Una Nueva Exposicion de la Silogistica
Robert Feys; 304
Errata
Miscellaneous back pages, J. Symbolic Logic, Volume 19, Issue 4 (1954)
