1. A Very Strong Set Theory?

   • Andrzej Kisielewicz

   OriginalPaper Pages: 171 - 178

2. Axiomatizations with Context Rules of Inference in Modal Logic

   • Valentin Goranko

   OriginalPaper Pages: 179 - 197

3. On Proof Terms and Embeddings of Classical Substructural Logics

   • Ken-etsu Fujita

   OriginalPaper Pages: 199 - 221

4. Curry-Howard Terms for Linear Logic

   • Frank A. Bäuerle
   • David Albrecht
   • John S. Jeavons

   OriginalPaper Pages: 223 - 235

5. Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication

   • Dov M. Gabbay
   • Nicola Olivetti

   OriginalPaper Pages: 237 - 280

6. On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics

   • Dmitrij Skvortsov

   OriginalPaper Pages: 281 - 292

7. Book Reviews

   BookReview Pages: 293 - 310