Infinite arguments and semantics of dialectical proof procedures.

Phan Minh Thang Phan Minh Dung Jiraporn Pooksook

Published in: Argument Comput. (2022)

Keyphrases

proof procedures
inference rules
proof procedure
winning strategy
argumentation systems
propositional logic
theorem proving
first order logic
defeasible reasoning
modal logic
predicate calculus
model theoretic
abstract argumentation frameworks
grounded semantics