GSB 2014 PROCEEDINGS: EDITOR'S PREFACE

Since the introduction of the sequent calculus and natural deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics that resist a simpler description, including hypersequents, deep inference systems, display calculi, labelled deductive systems, tableaux, and proof nets, to name just a few. The aim of the Workshop on Gentzen Systems and Beyond series is to explore and compare the motivations for and relative merits of these different approaches. A non-exhaustive list of topics includes:

• Cut-elimination and its applications, e.g., decidability, complexity results, interpolation, amalgamation, completeness proofs, computational interpretations, etc.
• Scope, limitations, interrelationships, and philosophical aspects of various formalisms.

A broader aim of the workshop series is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic systems, are shared. Previous workshops in the series took place in 2009 in Oslo, Norway and in 2011 in Bern, Switzerland.

These are the proceedings of the third installment of the Workshop on Gentzen Systems and Beyond, held on July 13, 2014 at the Vienna University of Technology in Vienna, Austria as part of the Federated Logic Conference 2014 at the Vienna Summer of Logic. The proceedings contain the abstracts of invited talks by A. Simpson and A. Zamansky and of twelve contributed talks, as well as the abstract by R. Dyckhoff and S. Negri presented by title. 

We would like to thank the organizing team of the Vienna Summer of Logic for their support and for the excellent infrastructure provided for our workshop.

These proceedings have been created by the EasyChair Conference System.