Intuitionistic Layered Graph Logic: Semantics and Proof Theory

Simon Docherty, David J. Pym. Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Logical Methods in Computer Science, 14(4), 2018. [doi]

Abstract

Abstract is missing.