Closure

The closure of S⊆AS \subseteq \mathcal{A} is cl(S):=cl(S) := ThD(S)Th_D(S) ∩ A\cap\, \mathcal{A}, the set of assumptions derivable from SS. SS is closed iff S=cl(S)S = cl(S).

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