Combinatorial Flows and their Normalisation
Abstract
This paper introduces combinatorial flows that generalize combinatorial proofs such that they also include cut and substitution as methods of proof compression. We show a normalization procedure for combinatorial flows, and how syntactic proofs are translated into combinatorial flows and vice versa.
Origin : Files produced by the author(s)
Loading...