Volume 33,
Number 1,
Winter 1992
- Saharon Shelah:
The Hanf numbers of stationary logic II: Comparison with other logics.
1-12
- William C. Purdy:
Surface reasoning.
13-36
- George Englebretsen:
Linear Diagrams for Syllogisms (with Relatitonals).
37-69
- Juan Barba Escriba:
Two formal systems for situation semantics.
70-88
- Timothy Williamson:
An Alternative Rule of disjunction in modal logic.
89-100
- Allen Hazen:
The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order.
101-111
- Marcel Crabbé:
On NFU.
112-119
- 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
- Thomas M. Northon-Smith:
A note on Philip Kitscher's analysis of mathematical truths.
136-139
- C. Barry Jay:
Coherence in category theory and the Church-Rosser property.
140-143
- Gary P. Shannon:
A note on some weak forms of the axiom of choise.
144-147
- 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
Volume 33,
Number 3,
Summer 1992
- Alexandra Shlapentokh:
A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers.
299-321
- Margarita Otero:
Generic Models of the Theory of Normal Z-Rings.
322-331
- Michael C. Laskowski:
The Categoricity Spectrum of Pseudo-elementary Classes.
332-347
- William C. Purdy:
A Variable Free Logic for Mass Terms.
348-358
- 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
- Décio Krause:
On a Quasi-Set Theory.
402-411
- Zbigniew Bonikowski:
A Certain Conception of the Calculus of Rough Sets.
412-121
- Greg Restall:
A Note on Naive Set Theory in LP.
422-432
- 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-464
Volume 33,
Number 4,
Fall 1992
Copyright © Sat Nov 28 22:32:43 2009
by Michael Ley (ley@uni-trier.de)
