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..
Source: wiktionary
Refutationally
Synonyms for "refutationally"
Ranked by relevance and common usage.
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
derived from
1 entriesrelated to
1 entriesSample sentences
1 total sentences available.
Keep exploring
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.