Es interesante observar como en las lógicas de Gödel y producto, al igual que en la lógica intuicionista, se niega el principio de la doble negación con el fin de mantener la validez del principio de no contradicción.