Text this: Deductive Systems in Traditional and Modern Logic