Algebraic And Proof-Theoretic Aspects Of Non-Classical Logics by A. Ciabattoni