1. Introduction

   • Christian Retoré

   OriginalPaper Pages: 395 - 398

2. Categorial Inference and Modal Logic

   • Natasha Kurtonina

   OriginalPaper Pages: 399 - 411

3. Syntactic Calculus with Dependent Types

   • Aarne Ranta

   OriginalPaper Pages: 413 - 431

4. Proof Nets and the Complexity of Processing Center Embedded Constructions

   • Mark Johnson

   OriginalPaper Pages: 433 - 447

5. A New Correctness Criterion for Cyclic Proof Nets

   • V. Michele Abrusci
   • Elena Maringelli

   OriginalPaper Pages: 449 - 459

6. Group Theory and Computational Linguistics

   • Marc Dymetman

   OriginalPaper Pages: 461 - 497

7. The Resolution Calculus, Alexander Leitsch

   • Hans de Nivelle

   OriginalPaper Pages: 499 - 502

8. Labelled Deductive Systems, Volume 1, Dov M. Gabbay

   • Geert-Jan M. Kruijff

   OriginalPaper Pages: 502 - 506

9. Index of Authors of Volume 7

   OriginalPaper Pages: 507 - 507

10. Contents of Volume 7

    OriginalPaper Pages: 509 - 511

11. Instructions for Authors

    OriginalPaper Pages: 513 - 518

12. Call for Papers

    OriginalPaper Pages: 519 - 520