A Connection Between Cut Elimination and Normalization Mirjana Borisavljević OriginalPaper 27 September 2005 Pages: 113 - 148
The Medvedev lattice of computably closed sets Sebastiaan A. Terwijn OriginalPaper 27 September 2005 Pages: 179 - 190
Non-commutative Łukasiewicz propositional logic Ioana Leuştean OriginalPaper 27 September 2005 Pages: 191 - 213
There is no ordering on the classes in the generalized high/low hierarchies Antonio Montalbán OriginalPaper 18 July 2005 Pages: 215 - 231
A Characterization of the free n-generated MV-algebra Daniele Mundici OriginalPaper 14 March 2005 Pages: 239 - 247