Abstract
En este trabajo, presentaremos propuestas de solución a este problema desde tres semánticas formales. Asimismo, consideraremos objeciones planteadas, sobre todo las que se centran en la conservación de la validez de los principios lógicos del cálculo proposicional clásico.