Stav dette: The syntax and semantics of entailment in duality theory