The Journal of Symbolic Logic, Volume 11

Volume 11, Number 1, March 1946

• Ruth C. Barcan: A Functional Calculus of First Order Based on Strict Implication. 1-16 BibTeX

Volume 11, Number 2, June 1946

• Rudolf Carnap: Modalities and Quantification. 33-64 BibTeX

Volume 11, Number 3, September 1946

• Archie Blake: A Boolean Derivation of the Moore-Osgood Theorem. 65-70 BibTeX
• W. V. Quine: On Relations as Coextensive with Classes. 71-72 BibTeX
• Emil L. Post: Note on a Conjecture of Skolem. 73-74 BibTeX

Volume 11, Number 4, December 1946

• W. V. Quine: Concatenation as a Basis for Arithmetic. 105-114 BibTeX
• Ruth C. Barcan: The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. 115-118 BibTeX
• A. Heyting: On Weakened Quantification. 119-121 BibTeX