Sierra, M. Sistema De lógica Diagonal ld1, ld2,…ld42. Rev. EAFIT. DyC 2012, 37, 65-80.