On linear rewriting systems for Boolean logic and some applications to proof theory (Logical Methods in Computer Science, 2017)