FORMALIZING DEFEASIBLE ARGUMENTATION USING A LABELED DEDUCTIVE SYSTEM

In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas.Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems.In the last decade, defeasible argumentation has

ABSTRACT Objective: to know the consequences that men experience related to incarceration by conjugal violence.Methods: qualitative study on 20 men in jail and indicted in criminal processes related to conjugal violence in a Court specialized in Family and Domestic Violence against women.The interviews were classified based on Collective Subject Di