Structured Proofs and Adaptive Logic

Presented at VlaPoLo9 Workshop (Ghent, Belgium)