Strong Normalizability of Typed Lambda-Calculi for Substructural Logics Motohiko MouriNorihiro Kamide OriginalPaper 24 September 2008 Pages: 189 - 207
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties Francesco PaoliMatthew SpinksRobert Veroff OriginalPaper 24 September 2008 Pages: 209 - 233
Birkhoff Completeness in Institutions Mihai CodescuDaniel Găină OriginalPaper 24 September 2008 Pages: 277 - 309