Relating proof standards and abstract argumentation

It is proven that Carneades always induces a unique Dung extension, which is the same in all of Dung’s semantics, allowing us to generalise Carneade to cycle-containing structures and prove a formal correspondence and show that certain rationality postulates hold.