Naive Semantics

A set $E \subseteq A$ is a naive extension iff $E$ is a $\subseteq$-maximal conflict-free set.

Signature

A set $\mathbb{S}$ of sets of arguments is in $\mathsf{sig}(\mathsf{na})$ iff $\mathbb{S} \neq \emptyset$, $\mathbb{S}$ is incomparable and $\mathrm{dcl}_\mathbb{S}$ is tight (Dunne et al., 2015).