computational philosophy, formal argumentation theory, normative models of reasoning
Verifies your Argdown code