On the horizontal compression of dag-derivations in minimal purely implicational logic

Edward Hermann Haeusler, José Flávio Cavalcante Barros Junior, Robinson

This report defines (plain) Dag-like derivations in the purely implicational fragment of minimal logic $M_{\supset }$. Introduce the horizontal collapsing set of rules and the algor…