We shall take “strong negation” to be a unary operator with some of the properties usually associated with negation, and such that the strong negation of a statement implies the “ordinary” negation ofthat statement, but not vice-versa. This paper will consider two varieties of strong negation: first, strong negation set in the context of the propositional calculus, specifically, the intuitionist PC, and secondly, strong negation in modal systems, that is, strong negation as impossibility. In the latter part of the paper, we shall present axiomatizations of several classical Lewis-modal systems having only material implication and impossibility primitive.