Αποστολή με SMS: Γραμμική λογική, δίκτυα αποδείξεων και επέκταση στο υπολογιστικό μοντέλο των δικτύων αλληλεπιδράσεων =