Two more papers are in preparation: one with Faggian on a single procedure of cut-elimination, which works uniformly, exactly as it is, for all structural extensions of basic logic, another by Faggian and Macedonio on symmetric logics.
For several years I have been using the principle of reflection to teach logic. It works so well with students (some of them recall only the pattern, and deduce all inference rules when they need them) that I am writing a textbook based on it and on the constructive view.
