1. Strong Normalizability of Typed  Lambda-Calculi for Substructural Logics

   • Motohiko Mouri
   • Norihiro Kamide

   OriginalPaper 24 September 2008 Pages: 189 - 207

2. Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

   • Francesco Paoli
   • Matthew Spinks
   • Robert Veroff

   OriginalPaper 24 September 2008 Pages: 209 - 233

3. “Setting” n-Opposition

   • Régis Pellissier

   OriginalPaper 24 September 2008 Pages: 235 - 263

4. Perfect IFG-Formulas

   • Allen L. Mann

   OriginalPaper 24 September 2008 Pages: 265 - 275

5. Birkhoff Completeness in Institutions

   • Mihai Codescu
   • Daniel Găină

   OriginalPaper 24 September 2008 Pages: 277 - 309