Section: New Results
Linear rewriting systems for Boolean logic
Participant : Lutz Straßburger.
Last year's result on the nonexistence of a complete linear term rewriting system for propositional logic  has been generalized and some applications to proof theory have been invesigated. For example, we have found that the medial rule which plays a central role in deep inference systems is canonical in a strong sense: It is minimal, and every rule that reduce contraction to an atomic form is indeed derivable via medial. This is published in  (joint work with Anupam Das).