The Journal of Symbolic Logic, Volume 27

Volume 27, Number 1, March 1962

Nicholas Rescher: Quasi-Truth-Functional Systems of Propositional Logic. 1-10 BibTeX
Stephen Cole Kleene: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. 11-18 BibTeX
Alan Ross Anderson, Nuel Belnap: The Pure Calculus of Entailment. 19-52 BibTeX
Robert E. Clay: Note on Slupecki T-Functions. 53-54 BibTeX
Raymond M. Smullyan: On Post's Canonical Systems. 55-57 BibTeX
Timothy Smiley: Syllogism and Quantification. 58-72 BibTeX

David Pager: An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates. 131-138 BibTeX
G. Kreisel: On Weak Completeness of Intuitionistic Predicate Logic. 139-158 BibTeX
Bruno Scarpellini: Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz. 159-170 BibTeX
Carol R. Karp: Independence Proofs in Predicate Logic with Infinitely Long Expressions. 171-188 BibTeX
R. A. Bull: The Implicational Fragment of Dummet's LC. 189-194 BibTeX
Richard Montague: Theories Incomparable with Respect to Relative Interpretability. 195-211 BibTeX

C. J. Ducasse, Haskell B. Curry: Early History of the Association for Symbolic Logic. 255-258 BibTeX
Solomon Feferman: Transfinite Recursive Progressions of Axiomatic Theories. 259-316 BibTeX
C. C. Chang, H. Jerome Keisler: An Improved Prenex Normal Form. 317-326 BibTeX
R. B. Angell: A Propositional Logic with Subjunctive Conditionals. 327-343 BibTeX
Paul C. Gilmore: Some Forms of Completeness. 344-352 BibTeX
M. H. Lob: Meeting of the Association for Symbolic Logic, Leeds 1962. 373-382 BibTeX

Solomon Feferman, C. Spector: Incompleteness Along Paths in Progressions of Theories. 383-390 BibTeX
Alfred Horn: The Separation Theorem of Intuitionist Propositional Calculus. 391-399 BibTeX
F. R. Drake: On McKinsey's Syntatical Characterizations of Systems of Modal Logic. 400-406 BibTeX
Takeo Sugihara: The Number of Modalities in T Supplemented by the Axiom CL²pL³p. 407-408 BibTeX
William H. Jobe: Functional Completeness and Canonical Forms in Many-Valued Logics. 409-422 BibTeX
Alan Rose: Extensions of Some Theorems of Anderson and Belnap. 423-425 BibTeX
Timothy Smiley: The Independence of Connectives. 426-436 BibTeX
Gerald B. Standley: Two Arithmetical Techniques with Numbered Classes. 437-438 BibTeX
Gordon Matheson: The Semantics of Singular Terms. 439-466 BibTeX
Robert L. Vaught: Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. 475-483 BibTeX