11 citations · 17 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
A Formalisation of Abstract Argumentation in Higher-Order Logic
Alexander Steen, David Fuenmayor
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-ass…
cs.LO2021★ 1 cited
Semantical Investigations on Non-classical Logics with Recovery Operators: Negation
David Fuenmayor
We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery opera…