Volume 33, Number 1, Winter 1992
Saharon Shelah:
The Hanf numbers of stationary logic II: Comparison with other logics.
1-12
Allen Hazen:
The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order.
101-111
Renling Jin:
A model in which every Kurepa Tree is thinck.
120-125
Bernard Linsky:
A note on the "carving up content" principle of Frege's theory of sense.
126-135
C. Barry Jay:
Coherence in category theory and the Church-Rosser property.
140-143
Seiki Akama:
The Gentzen-Kripke construction of the intermediate logic LQ.
148-153
Steven Buechler:
Book review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models.
154-158
Volume 33, Number 2, Spring 1992
Richard Sylvan:
On Interpreting Thruth Tables and Relevant Truth Table Logic.
207-216
Henry Africk:
Classical Logic, Intuitionistic Logic and the Peirce Rule.
229-235
Paul E. Howard:
The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem.
236-243
Volume 33, Number 3, Summer 1992
Alexandra Shlapentokh:
A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers.
299-321
Mitio Takano:
Cut-Free Systems for Three-Valued Modal Logics.
359-368
Ian P. Gent:
A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC.
369-382
Heikki Tuuri:
Relative Speration Theorems for Sigmak+k.
383-401
G. C. Nelson:
Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers.
433-441
Steve Giambrone:
Real Reduced Models for Relevant Logics without WI.
442-449
George Weaver:
Unifying Some Modifications of the Henkin Construction.
450-460
Volume 33, Number 4, Fall 1992
David Isles:
What Evidence is There that 265536 is a Natural Number?
465-480
Sakaé Fuchino:
On Potential Embedding and Versions of Martin's Axiom.
481-492
Serge Lapierre:
A Functional Partial Semantics for Intensional Logic.
517-541
Domenico Zambella:
On the Proofs of Arithmetical Completeness for Interpretability Logic.
542-551
Tomasz F. Skura:
Refutation Calculi for Certain Intermediate Propositional Logics.
552-560
data released under the ODC-BY 1.0 license
