M. Baaz, A. Ciabattoni: "Proof theory for non-classical logics: negative results"; Talk: Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan; 2012-09-10 - 2012-09-14.