Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning