Sets of Boolean Connectives that make Argumentation Easier
... (Φ, α), where the support Φ is a consistent set (or a minimal consistent set) of
formulae from a given knowledge base that entails the claim α which is a formula
(see, for example, [BH01, AC02, GS04, DKT06]). Different logical formalisms provide different definitions for consistency and entailment a ...