Logic, Bivalence and Denotation