Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

refutationally en · ADV

Etymology

From refutational + -ly.

Meanings

  1. (not-comparable) 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: