Forzamiento semántico de marcas para la lógica básica paraconsistente LBPc