Is there a logic in which "not ((exists x) not P(x))" is equivalent to "(forall x) P(x)", but "not ((forall x) not P(x))" is not equivalent to "(exists x) P(x)"? GL