Deduction Systems by Rolf Socher-Ambrosius & Patricia Johann