Él pensó innovar en la tradicional lógica proposicional, el principio de no contradicción y el principio del tercero excluido.