Sierra A., M. (2007). Basic logic for true and false LBVF. Ingeniería Y Ciencia, 3(6), 135-171. https://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445