paramodulation

From WikiWord, the free dictionary

English

Definitions

No definition found for “paramodulation”. Check the spelling, or try a related word.

Related words

Synonyms

modal equipollence modal logic alternation superpredicate modality member term modus ponens equivalence modus ponendo ponens circle argumentality term logic postulation superordination

References