The Journal of Symbolic Logic, Volume 24

Volume 24, Number 1, March 1959

• Saul Kripke: A Completeness Theorem in Modal Logic. 1-14
• William W. Tait: A Counterexample to a Conjecture of Scott and Suppes. 15-16
• B. Dunham, R. Fridshal: The Problem of Simplifying Logical Expressions. 17-19
• Toshio Umezawa: On Intermediate Propositional Logics. 20-36
• Paul Lorenzen, John R. Myhill: Constructive Definition of Certain Analytic Sets of Numbers. 37-49

Volume 24, Number 2, June 1959

• Michael Dummett: A Propositional Calculus with Denumerable Matrix. 97-106
• Alan Ross Anderson, Nuel Belnap: Modalities in Ackermann's "Rigorous Implication". 107-111
• Heinrich Behmann: Der Pradikatenkalkul mit Limitierten Variablen Grundlegung Einer Naturlichen Exakten Logik. 112-140
• Toshio Umezawa: On Logics Intermediate between Intuitionistic and Classical Predicate Logic. 141-153
• Azriel Levy: On Ackermann's Set Theory. 154-166

Volume 24, Number 3, September 1959

• Henryk Hiz: Extendible Sentential Calculus. 193-202
• Hugo Ribeiro: Summer Meeting of the Association for Symbolic Logic. 281-286

Volume 24, Number 4, December 1959

• Robin O. Gandy: On the Axiom of Extensionality, Part II. 287-300
• Alan Ross Anderson, Nuel Belnap: A Simple Treatment of Truth Functions. 301-302
• Trenchard More Jr.: On the Construction of Venn Diagrams. 303-304
• Ivo Thomas, Don Orth: Axioms for the "Gergonne"-Relations. 305
• K. I. Appel: Horn Sentences in Identity Theory. 306-310
• Yoshindo Suzuki: Enumeration of Recursive Sets. 311
• Alan Ross Anderson: Twenty-Fourth Annual Meeting of the Association for Symbolic Logic. 312-326