The Journal of Symbolic Logic, Volume 13

Volume 13, Number 1, March 1948

• J. C. C. McKinsey, Alfred Tarski: Some Theorems About the Sentential Calculi of Lewis and Heyting. 1-15 BibTeX
• John G. Kemeny: Models of Logical Systems. 16-30 BibTeX
• Arthur Francis Smullyan: Modality and Description. 31-37 BibTeX
• Frederic Brenton Fitch: Corrections to Two Papers on Modal Logic. 38-39 BibTeX
• Max Black: Tenth Meeting of the Association for Symbolic Logic. 61-64 BibTeX

Volume 13, Number 2, June 1948

• Paul Bernays: A System of Axiomatic Set Theory--Part VI. 65-79 BibTeX
• Alan M. Turing: Practical Forms of Type Theory. 80-94 BibTeX
• Frederic Brenton Fitch: An Extension of Basic Logic. 95-106 BibTeX
• Alfred Tarski: A Problem Concerning the Notion of Definability. 107-111 BibTeX

Volume 13, Number 3, September 1948

• Hao Wang: A New Theory of Element and Number. 129-137 BibTeX
• Soren Hallden: A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1. 138-139 BibTeX
• Gustav Bergmann: Contextual Definitions in Nonextensional Languages. 140 BibTeX

Volume 13, Number 4, December 1948

• J. Barkley Rosser, Atwell R. Turquette: Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility. 177-192 BibTeX
• Irving M. Copilowish: Matrix Development of the Calculus of Relations. 193-203 BibTeX
• Andrzej Mostowski: Proofs of Non-Deducibility in Intuitionistic Functional Calculus. 204-207 BibTeX