## On linear rewriting systems for Boolean logic and some applications to proof theory

*Logical Methods in Computer Science*. Special issue of selected papers from RTA and TLCA '15. DOI arXiv PDF

Linear rules have played an increasing role in structural proof theory in recent years. It has been observed that the set of all sound linear inference rules in Boolean logic is already coNP-complete, i.e. that every Boolean tautology can be written as a (left- and right-)linear rewrite rule. In this paper we study properties of …