Αποστολή με SMS: Τροπική Λογική και Θεωρία Αντιστοίχισης