Derivable Conclusions

The set of all conclusions derivable from S⊆AS \subseteq \mathcal{A} in an ABAF DD is ThD(S):={p∈L∣∃S′⊆S:S′⊢p}Th_D(S) := \{p \in \mathcal{L} \mid \exists S' \subseteq S: S' \vdash p\}.

Reference

Čyras, K., Fan, X., Schulz, C. & Toni, F. (2018). Assumption-Based Argumentation: Disputes, Explanations, Preferences. In: Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (eds.), Handbook of Formal Argumentation, Vol. 1, Chapter 7, pp. 365–408. College Publications.

Referenced by