Chesńevar, Carlos Iván A formalization of defeasible argumentation using labelled deductive systems Standard No.: DIF-M3401