On the unification of classical, intuitionistic and affine logics

Chuck Liang. On the unification of classical, intuitionistic and affine logics. Mathematical Structures in Computer Science, 29(8):1177-1216, 2019. [doi]

Abstract

Abstract is missing.