Finite analytic two-dimensional proof systems for non-finitely axiomatizable logics

Local seminar in University of Bern, Switzerland

Many thanks to Wesley Fussner for the invitation to this academic visit in Bern, where I could present the work I developed during my Master’s and discuss my current work on substructural logics with the group in Bern (including Gavin St. John, with whom I very nice and fruitful discussions).