refutationally
English
Etymology
refutational + -ly
Adverb
refutationally (not comparable)
- In terms of refutation
- 2016, John Slaney, Bruno Woltzenlogel Paleo, “Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning”, in arXiv:
- 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..
-