Invia SMS: The syntax and semantics of entailment in duality theory