1 paper
Davide Catta, Richard Moot, Christian Retoré
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect t…