Anfonwch hwn fel neges destun: The syntax and semantics of entailment in duality theory