A. Ciabattoni

• Algebraic and Proof-Theoretic Aspects of Non-classical Logics