Sistema paraconsistente LBPc I - Sierra A., Manuel (Universidad EAFIT, 2006)