When I registered, I thought this was a general forum on logic. I just have a simple question on intuitionistic logic. I read that the complent of the complement of a general tensor is either plus or minus that tensor. So, I wondered if ~~p=(p or ~p) in intuitionistic logic? (I know that (p or ~p) is not a theorem of intuitionistic logic.) That's all I wanted to know when I registered!