The Attack as Strong Negation, Part I

Dov Gabbay, Michael Gabbay

We add strong negation $N$ to classical logic and interpret the attack relation of "$x$ attacks $y$" in argumentation as $(x\to Ny)$. We write a corresponding object level (using $…