Postulates for Assertion, Conjunction, Negation, and Equality