1. Foreword

   • Josep Maria Font
   • Ramon Jansana
   • Don Pigozzi

   Foreword Pages: 1 - 9

2. On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion

   • Romà J. Adillon
   • Ventura Verdú

   OriginalPaper Pages: 11 - 30

3. Linearization of the BCK-logic

   • Francisco M. García Olmedo
   • Antonio J. Rodríguez Salas

   OriginalPaper Pages: 31 - 51

4. Protoalgebraic Gentzen Systems and the Cut Rule

   • Àngel J. Gil
   • Jordi Rebagliato

   OriginalPaper Pages: 53 - 89

5. Algebraic Characterizations of Various Beth Definability Properties

   • Eva Hoogland

   OriginalPaper Pages: 91 - 112

6. Varieties of Pseudo-Interior Algebras

   • Barbara Klunder

   OriginalPaper Pages: 113 - 136

7. Algebras and Matrices for Annotated Logics

   • R.A. Lewin
   • I.F. Mikenberg
   • M.G. Schwarze

   OriginalPaper Pages: 137 - 153