Text this: Theory of Deductive Systems and Its Applications