C. Manara

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