V. Marra

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