Deductive Support

Under the deductive support interpretation of a BAF $B = (A, R, S)$, an argument $a$ supports an argument $b$ if the acceptance of $a$ implies the acceptance of $b$.

Remarks

Given a semantics $\sigma$, the deductive $\sigma$-extensions ($\mathsf{b}\text{-}\mathsf{ded}\text{-}\sigma$) of $B$ are the $\sigma$-extensions of the AF $(A, R^B_{me})$, where $(a, b) \in R^B_{me}$ iff $a$ attacks $b$ or attacks some argument that $b$ reaches by a chain of supports.