Axiomatizations with Context Rules of Inference in Modal Logic Valentin Goranko OriginalPaper Pages: 179 - 197
On Proof Terms and Embeddings of Classical Substructural Logics Ken-etsu Fujita OriginalPaper Pages: 199 - 221
Curry-Howard Terms for Linear Logic Frank A. BäuerleDavid AlbrechtJohn S. Jeavons OriginalPaper Pages: 223 - 235
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication Dov M. GabbayNicola Olivetti OriginalPaper Pages: 237 - 280
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics Dmitrij Skvortsov OriginalPaper Pages: 281 - 292