Volume 27, Number 1, March 1962
Volume 27, Number 2, June 1962
- David Pager:
An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates.
- G. Kreisel:
On Weak Completeness of Intuitionistic Predicate Logic.
- Bruno Scarpellini:
Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz.
- Carol R. Karp:
Independence Proofs in Predicate Logic with Infinitely Long Expressions.
- R. A. Bull:
The Implicational Fragment of Dummet's LC.
- Richard Montague:
Theories Incomparable with Respect to Relative Interpretability.
Volume 27, Number 3, September 1962
Volume 27, Number 4, December 1962
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
- Solomon Feferman, C. Spector:
Incompleteness Along Paths in Progressions of Theories.
- Alfred Horn:
The Separation Theorem of Intuitionist Propositional Calculus.
- F. R. Drake:
On McKinsey's Syntatical Characterizations of Systems of Modal Logic.
- Takeo Sugihara:
The Number of Modalities in T Supplemented by the Axiom CL2pL3p.
- William H. Jobe:
Functional Completeness and Canonical Forms in Many-Valued Logics.
- Alan Rose:
Extensions of Some Theorems of Anderson and Belnap.
- Timothy Smiley:
The Independence of Connectives.
- Gerald B. Standley:
Two Arithmetical Techniques with Numbered Classes.
- Gordon Matheson:
The Semantics of Singular Terms.
- Robert L. Vaught:
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.