Not that it is very very important but I thought I would document a few small issues I have with the definition of "Tight arguments" in 'Dialectic proof procedures for assumption-based, admissible argumentation' (2005).
Firstly, "multi-sets". Are they necessary? Why?
Secondly,the "selection function". According to the way it is used and footnote 6 in particular, it is not really a function. It does not give the same output every time for a given input.
Thirdly, the "definition" seems a bit confused with the "construction".
No comments:
Post a Comment