Notre Dame Journal of Formal Logic, Volume 33

Volume 33, Number 1, Winter 1992

Saharon Shelah: The Hanf numbers of stationary logic II: Comparison with other logics. 1-12 BibTeX
William C. Purdy: Surface reasoning. 13-36 BibTeX
George Englebretsen: Linear Diagrams for Syllogisms (with Relatitonals). 37-69 BibTeX
Juan Barba Escriba: Two formal systems for situation semantics. 70-88 BibTeX
Timothy Williamson: An Alternative Rule of disjunction in modal logic. 89-100 BibTeX
Allen Hazen: The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order. 101-111 BibTeX
Marcel Crabbé: On NFU. 112-119 BibTeX
Renling Jin: A model in which every Kurepa Tree is thinck. 120-125 BibTeX
Bernard Linsky: A note on the "carving up content" principle of Frege's theory of sense. 126-135 BibTeX
Thomas M. Northon-Smith: A note on Philip Kitscher's analysis of mathematical truths. 136-139 BibTeX
C. Barry Jay: Coherence in category theory and the Church-Rosser property. 140-143 BibTeX
Gary P. Shannon: A note on some weak forms of the axiom of choise. 144-147 BibTeX
Seiki Akama: The Gentzen-Kripke construction of the intermediate logic LQ. 148-153 BibTeX
Steven Buechler: Book review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models. 154-158 BibTeX

Frank O. Wagner: More on R. 159-174 BibTeX
D. W. Kuecker, Michael C. Laskowski: On Generic Structures. 175-183 BibTeX
Jean-Pierre Marquis: Approximations and Logic. 184-196 BibTeX
Edwin D. Mares, Robert K. Meyer: The Admissibility of Gama in R4. 197-206 BibTeX
Richard Sylvan: On Interpreting Thruth Tables and Relevant Truth Table Logic. 207-216 BibTeX
James H. Schmerl: End Extensions of Models of Arithmetic. 216-220 BibTeX
Nocholas Denyer: Pure Second-Order Logic. 220-224 BibTeX
Alberto Zanardo: A Note about the Axioms for Branching-Time Logic. 225-228 BibTeX
Henry Africk: Classical Logic, Intuitionistic Logic and the Peirce Rule. 229-235 BibTeX
Paul E. Howard: The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem. 236-243 BibTeX
Vladimir V. Rybakov: A Modal Analog for Glivenko's Theorem and its Applications. 244-248 BibTeX
Maarten de Rijke: Unary Interpretation Logic. 249-272 BibTeX
Gregory L. McColm: Eventualy Periodicity and "One-Dimensional" Queries. 273-290 BibTeX

Alexandra Shlapentokh: A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers. 299-321 BibTeX
Margarita Otero: Generic Models of the Theory of Normal Z-Rings. 322-331 BibTeX
Michael C. Laskowski: The Categoricity Spectrum of Pseudo-elementary Classes. 332-347 BibTeX
William C. Purdy: A Variable Free Logic for Mass Terms. 348-358 BibTeX
Mitio Takano: Cut-Free Systems for Three-Valued Modal Logics. 359-368 BibTeX
Ian P. Gent: A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC. 369-382 BibTeX
Heikki Tuuri: Relative Speration Theorems for Sigma^k+k. 383-401 BibTeX
Décio Krause: On a Quasi-Set Theory. 402-411 BibTeX
Zbigniew Bonikowski: A Certain Conception of the Calculus of Rough Sets. 412-121 BibTeX
Greg Restall: A Note on Naive Set Theory in LP. 422-432 BibTeX
G. C. Nelson: Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers. 433-441 BibTeX
Steve Giambrone: Real Reduced Models for Relevant Logics without WI. 442-449 BibTeX
George Weaver: Unifying Some Modifications of the Henkin Construction. 450-464 BibTeX

David Isles: What Evidence is There that 2pow65536 is a Natural Number? 465-480 BibTeX
Sakaé Fuchino: On Potential Embedding and Versions of Martin's Axiom. 481-492 BibTeX
François Lepage: Partial Functions in Type Theory. 493-516 BibTeX
Serge Lapierre: A Functional Partial Sematics for Intensional Logic. 517-541 BibTeX
Domenico Zambella: On the Proofs of Arithmetical Completeness for Interpretability Logic. 542-551 BibTeX
Tomasz F. Skura: Refutation Calculi for Certain Intermediate Proposittional Logics. 552-560 BibTeX
John K. Stanley, Robert K. Meyer: A Structurally Complete Fragment of Relevant Logic. 561-566 BibTeX
Fred Johnson: Counting Functions. 567-569 BibTeX
Xuegang Wang: The minima System L⁰ . 569-575 BibTeX
Sven Ove Hansson: The Difference Model of VOting. 576-592 BibTeX
William C. Purdy: On the Question "Do we Need Indentity?". 593-604 BibTeX