Foreword
Preface. In Memoriam Pierangelo Miglioli (1946–1999)
A Proof-theoretical Analysis of Semiconstructive Intermediate Theories
Intensional Completeness in an Extension of Gödel/Dummett Logic
Tableaux for Łukasiewicz Infinite-valued Logic
Halldén-Completeness in Super-Intuitionistic Predicate Logics
On Different Proof-Search Strategies for Orthologic
Skolem's Discovery of Gödel-Dummett Logic