refutationally
advEtymology From refutational + -ly.
1
In terms of refutation
- The calculus is sound (because it can be simulated by natural deduction) and refutationally complete (because it can simulate resolution), and these facts are proven in detail here..2016, John Slaney, Bruno Woltzenlogel Paleo, “Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning”, in arXiv: