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