Notre Dame Journal of Formal Logic, Volume 45

Volume 45, Number 1, 2004

• Kai F. Wehmeier:
  Wittgensteinian Predicate Logic. 1-11
  
• Steven Kuhn:
  A Simple Embedding of T into Double S5. 13-18
  
• Dirk Pattinson:
  Expressive Logics for Coalgebras via Terminal Sequence Induction. 19-33
  
• Steffen van Bakel:
  Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. 35-63
  

Volume 45, Number 2, 2004

• Tom Skura:
  Maximality and Refutability. 65-72
  
• Øystein Linnebo:
  Frege's Proof of Referentiality. 73-98
  
• Tapani Hyttinen:
  Types in Abstract Elementary Classes. 99-108
  
• Paolo Mancosu:
  Book Review: Kurt Gödel. Collected Works, Volumes IV and V. 109-125
  

Volume 45, Number 3, 2004

• J. Donald Monk:
  On General Boundedness and Dominating Cardinals. 129-146
  
• Rod Downey, Liang Yu:
  There Are No Maximal Low D.C.E. Degrees. 147-159
  
• James Loveys:
  Linear Reducts of the Complex Field. 161-190
  

Volume 45, Number 4, 2004

• Hiroshi Aoyama:
  LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. 193-213
  
• Fred Richman:
  Equivalence of Syllogisms. 215-233
  
• Steven Awodey, Jonas Eliasson:
  Ultrasheaves and Double Negation. 235-245
  
• Albert C. Lewis:
  Book Review: Geraldine Brady. From Peirce to Skolem: A Neglected Chapter in the History of Logic. 247-256
  

Last update Tue May 21 15:05:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page