Jump to content

refutationally

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

From refutational +‎ -ly.

Adverb

[edit]

refutationally (not comparable)

  1. 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[1]:
      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..