FROM THE EDITOR
Gentzen Calculi for the Existence Predicate
Program Extraction from Normalization Proofs
Cut Elimination inside a Deep Inference System for Classical Predicate Logic
Group Cancellation and Resolution
Towards a Semantic Characterization of Cut-Elimination
Cut Elimination for S4C
The Epsilon Calculus and Herbrand Complexity
Cut-Elimination and Quantification in Canonical Systems