The Journal of Symbolic Logic, Volume 27

Volume 27, Number 1, March 1962

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

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

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

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

Last update Sat May 18 20:44:23 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page