Deductive System

A deductive system is a tuple $(\mathcal{L}, \mathcal{R})$ , where $\mathcal{L}$ is a set of atoms and $\mathcal{R}$ is a set of inference rules over $\mathcal{L}$ .

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

Assumption-based Argumentation Framework (ABAF)
Inference Rule