1. A Connection Between Cut Elimination and Normalization

   • Mirjana Borisavljević

   OriginalPaper 27 September 2005 Pages: 113 - 148

2. Fuzzy Horn logic II

   • Radim Bělohlávek
   • Vilém Vychodil

   OriginalPaper 27 September 2005 Pages: 149 - 177

3. The Medvedev lattice of computably closed sets

   • Sebastiaan A. Terwijn

   OriginalPaper 27 September 2005 Pages: 179 - 190

4. Non-commutative Łukasiewicz propositional logic

   • Ioana Leuştean

   OriginalPaper 27 September 2005 Pages: 191 - 213

5. There is no ordering on the classes in the generalized high/low hierarchies

   • Antonio Montalbán

   OriginalPaper 18 July 2005 Pages: 215 - 231

6. Lowness for genericity

   • Liang Yu

   OriginalPaper 06 July 2005 Pages: 233 - 238

7. A Characterization of the free n-generated MV-algebra

   • Daniele Mundici

   OriginalPaper 14 March 2005 Pages: 239 - 247