A. Ciabattoni,S. Aguzzoli,B. Gerla

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