Nested Sequents for Intuitionistic Logics

Melvin Fitting. Nested Sequents for Intuitionistic Logics. Notre Dame Journal of Formal Logic, 55(1):41-61, 2014. [doi]

Abstract

Abstract is missing.