Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday - Aguzzoli, Stefano; Ciabattoni, Agata; Gerla, Brunella; Manara, Corrado; Marra, Vincenzo (Springer Berlin Heidelberg : Imprint: Springer, 2007)