Text this: On linear rewriting systems for Boolean logic and some applications to proof theory