1. Constructive Logic with Strong Negation is a Substructural Logic. I

   • Matthew Spinks
   • Robert Veroff

   OriginalPaper 26 March 2008 Pages: 325 - 348

2. An Approach to Glivenko’s Theorem in Algebraizable Logics

   • Antoni Torrens

   OriginalPaper 26 March 2008 Pages: 349 - 383

3. Asymptotic Densities in Logic and Type Theory

   • Zofia Kostrzycka
   • Marek Zaionc

   OriginalPaper 22 April 2008 Pages: 385 - 403

4. Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System

   • Heinrich Wansing
   • Yaroslav Shramko

   OriginalPaper 26 March 2008 Pages: 405 - 429

5. A Model for Structural Changes of Belief

   • Eleonora Cresto

   OriginalPaper 26 March 2008 Pages: 431 - 451