1. Foreword

   • Silvio Ghilardi
   • Daniele Mundici

   Foreword Pages: 3 - 3

2. Preface. In Memoriam Pierangelo Miglioli (1946–1999)

   • Mario Ornaghi

   Preface Pages: 5 - 19

3. A Proof-theoretical Analysis of Semiconstructive Intermediate Theories

   • Mauro Ferrari
   • Camillo Fiorentini

   OriginalPaper Pages: 21 - 49

4. Intensional Completeness in an Extension of Gödel/Dummett Logic

   • Matt Fairtlough
   • Michael Mendler

   OriginalPaper Pages: 51 - 80

5. Tableaux for Łukasiewicz Infinite-valued Logic

   • Nicola Olivetti

   OriginalPaper Pages: 81 - 111

6. Halldén-Completeness in Super-Intuitionistic Predicate Logics

   • Nobu-Yuki Suzuki

   OriginalPaper Pages: 113 - 130

7. On Different Proof-Search Strategies for Orthologic

   • Uwe Egly
   • Hans Tompits

   OriginalPaper Pages: 131 - 152

8. Skolem's Discovery of Gödel-Dummett Logic

   • Jan von Plato

   OriginalPaper Pages: 153 - 157