Polinomização de logicas : problemas e perspectivas