Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)

In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that fit a certain format. This format is the abstract theory developed by Dung, Kowalski and others. A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible. The proof theory could serve as the 'logical core' of protocols for dispute in multi-agent decision making processes.