The Journal of Symbolic Logic, Volume 33

Volume 33, Number 1, March 1968

Richmond H. Thomason: On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. 1-7 BibTeX
Robert K. Meyer, Karel Lambert: Universally Free Logic and Standard Quantification Theory. 8-26 BibTeX
R. A. Bull: An Algebraic Study of Tense Logics with Linear Time. 27-38 BibTeX
George Goe: Modifications of Quine's ML and Inclusive Quantification Systems. 39-42 BibTeX
Wayne Richter: Constructively Accessible Ordinal Numbers. 43-55 BibTeX
Marian Boykan Pour-El: Effectively Extensible Theories. 56-68 BibTeX
Jens Erik Fenstad: On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theories. 69-76 BibTeX
Witold A. Pogorzelski: On the Scope of the Classical Deduction Theorem. 77-81 BibTeX
R. Routley, H. Montgomery: On Systems Containing Aristotle's Thesis. 82-96 BibTeX
J. Jay Zeman: Some Calculi with Strong Negation Primitive. 97-100 BibTeX
Eugene W. Madison: Structures Elementarily Closed Relative to a Model for Arithmetic. 101-104 BibTeX
James Rosenberg: Functional Completeness in One Variable. 105-106 BibTeX
Frederic Brenton Fitch: A Note on Recursive Relations. 107 BibTeX
Richard L. Call: A Minimal Canonically Complete M-Valued Proper Logic for Each M. 108-110 BibTeX

Hugues LeBlanc: Subformula Theorems for N-Sequents. 161-179 BibTeX
Peter B. Andrews: On Simplifying the Matrix of a WFF. 180-192 BibTeX
Solomon Feferman: Systems of Predicative Analysis, II: Representations of Ordinals. 193-220 BibTeX
Don C. Ferguson: Infinite Products of Recursive Equivalence Types. 221-230 BibTeX
Hugues LeBlanc: A Simplified Account of Validity and Implication for Quantificational Logic. 231-235 BibTeX
James R. Geiser: Nonstandard Logic. 236-250 BibTeX
Robert E. Clay: The Consistency of Lesniewski's Mereology Relative to the Real Number System. 251-257 BibTeX
C. G. McKay: The Decidability of Certain Intermediate Propositional Logics. 258-264 BibTeX
T. Thacher Robinson: Independence of Two Nice Sets of Axioms for the Propositional Calculus. 265-270 BibTeX
Arnold Oberschelp: On the Craig-Lyndon Interpolation Theorem. 271-274 BibTeX
Hugues LeBlanc: On Meyer and Lambert's Quantificational Calculus FQ. 275-280 BibTeX

G. Kreisel: A Survey of Proof Theory. 321-388 BibTeX
Graham C. Driscoll Jr.: Metarecursively Enumerable Sets and Their Metadegrees. 389-411 BibTeX
Dirk van Dalen: Reducibilities in Intuitionistic Topology. 412-417 BibTeX
Dennis F. Cudia, Wilson E. Singletary: The Post Correspondence Problem. 418-430 BibTeX
Alistair H. Lachlan: Degrees of Recursively Enumerable Sets Which Have No Maximal Supersets. 431-443 BibTeX
M. K. Rennie: S3(S) = S3.5. 444-445 BibTeX
Kenneth Kunen: Implicit Definability and Infinitary Languages. 446-451 BibTeX
Dag Prawitz: Hauptsatz for Higher Order Logic. 452-457 BibTeX
J. Jay Zeman: Lemmon-Style Bases for the Systems S1 ^ring- S4^ring . 458-461 BibTeX
J. Jay Zeman: The Semisubstitutivity of Strict Implication. 462-464 BibTeX
M. H. Lob, F. R. Drake, John Derrick: Meeting of the Association for Symbolic Logic Leeds 1967. 490 BibTeX

George Boolos, Hilary Putnam: Degrees of Unsolvability of Constructible Sets of Integers. 497-513 BibTeX
Daniel Richardson: Some Undecidable Problems Involving Elementary Functions of a Real Variable. 514-520 BibTeX
Carl G. Jockusch Jr.: Uniformly Introreducible Sets. 521-536 BibTeX
Nicholas Rescher, James Garson: Topological Logic. 537-548 BibTeX
Raymond M. Smullyan: Uniform Gentzen Systems. 549-559 BibTeX
Raymond M. Smullyan: Analytic Cut. 560-564 BibTeX
Alan G. Hamilton: An Unsolved Problem in the Theory of Constructive Order Types. 565-567 BibTeX
R. Routley, H. Montgomery: The Inadequacy of Kripke's Semantical Analysis of D2 and D3. 568 BibTeX
Ivo Thomas: Replacement in Some Modal Systems. 569-570 BibTeX
Per Lindstrom: Remarks on Some Theorems of Keisler. 571-576 BibTeX
W. M. Lambert Jr.: A Notion of Effectiveness in Arbitrary Structures. 577-602 BibTeX
Burton Dreben, James Thomson: Annual Meeting of the Association for Symbolic Logic. 636-645 BibTeX