Sierra A., M. “Basic Logic for True and False LBVF”. Ingeniería Y Ciencia, vol. 3, no. 6, Dec. 2007, pp. 135-71, https://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445.