Studia Logica, Volume 80

Volume 80, Number 1, June 2005

• Nuel Belnap:
  Under Carnap's Lamp: Flat Pre-semantics. 1-28
  
• Richard Booth, Eva Richter:
  On Revising Fuzzy Belief Bases. 29-61
  
• Maciej Farulewski:
  On Finite Models of the Lambek Calculus. 63-74
  
• Yutaka Miyazaki:
  Some Properties of Orthologics. 75-93
  
• Witold A. Pogorzelski, Piotr Wojtylak:
  A Proof System for Classical Logic. 95-104
  
• Bozena Staruch, Bogdan Staruch:
  First Order Theories for Partial Models. 105-120
  
• Athanassios Tzouvaras:
  Cardinality without Enumeration. 121-141
  
• Jens Høyrup:
  The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History. 143-147
  

Volume 80, Number 2-3, August 2005

• Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko:
  From the Editors. 153-157
  
• Arnon Avron:
  A Non-deterministic View on Non-classical Negations. 159-194
  
• Michael Beeson, Robert Veroff, Larry Wos:
  Double-Negation Elimination in Some Propositional Logics. 195-234
  
• J. Dunn, Chunlai Zhou:
  Negation in the Context of Gaggle Theory. 235-264
  
• Norihiro Kamide:
  Gentzen-Type Methods for Bilattice Negation. 265-289
  
• Sergei P. Odintsov:
  The Class of Extensions of Nelson's Paraconsistent Logic. 291-320
  
• David Pearce, Agustín Valverde:
  A First Order Nonmonotonic Extension of Constructive Logic. 321-346
  
• Yaroslav Shramko:
  Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. 347-367
  
• Neil Tennant:
  Contracting Intuitionistic Theories. 369-391
  
• Dimiter Vakarelov:
  Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. 393-430
  
• Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska:
  Socratic Proofs and Paraconsistency: A Case Study. 431-466