Chesńevar, Carlos Iván Modeling argumentation with labeled deduction : Formalization and theoretical considerations Standard No.: DIF-M3717