Meanings
- not comparableIn 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
Origin
Cite this entry
refutationally. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/refutationally
“refutationally.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/refutationally. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “refutationally,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/refutationally.
Source: refutationally on Wiktionary, CC BY-SA 4.0.