Non contraddizione e terzo escluso. Le regole della negazione nella logica classica, intuizionistica e minimale