Αποστολή με SMS: Theory of Deductive Systems and Its Applications