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
  
• 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

• Frank O. Wagner:
  More on R. 159-174
  
• D. W. Kuecker, Michael C. Laskowski:
  On Generic Structures. 175-183
  
• Jean-Pierre Marquis:
  Approximations and Logic. 184-196
  
• Edwin D. Mares, Robert K. Meyer:
  The Admissibility of Gama in R4. 197-206
  
• Richard Sylvan:
  On Interpreting Thruth Tables and Relevant Truth Table Logic. 207-216
  
• James H. Schmerl:
  End Extensions of Models of Arithmetic. 216-220
  
• Nocholas Denyer:
  Pure Second-Order Logic. 220-224
  
• Alberto Zanardo:
  A Note about the Axioms for Branching-Time Logic. 225-228
  
• 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
  
• Vladimir V. Rybakov:
  A Modal Analog for Glivenko's Theorem and its Applications. 244-248
  
• Maarten de Rijke:
  Unary Interpretation Logic. 249-272
  
• Gregory L. McColm:
  Eventualy Periodicity and "One-Dimensional" Queries. 273-290
  

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 Sigma^k+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-460
  

Volume 33, Number 4, Fall 1992

• David Isles:
  What Evidence is There that 2⁶⁵⁵³⁶ is a Natural Number? 465-480
  
• Sakaé Fuchino:
  On Potential Embedding and Versions of Martin's Axiom. 481-492
  
• François Lepage:
  Partial Functions in Type Theory. 493-516
  
• 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
  
• John K. Stanley, Robert K. Meyer:
  A Structurally Complete Fragment of Relevant Logic. 561-566
  
• Fred Johnson:
  Counting Functions. 567-568
  
• Xuegang Wang:
  The minimal System L⁰. 569-575
  
• Sven Ove Hansson:
  The Difference Model of VOting. 576-592
  
• William C. Purdy:
  On the Question "Do we Need Indentity?". 593-603
  

Last update Tue Feb 14 04:21:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page