Equational Synonyms

Words Related to Equational

Related words are words that are directly connected to each other through their meaning, even if they are not synonyms or antonyms. This connection may be general or specific, or the words may appear frequently together.

Related:

  1. abductive
  2. nonmonotonic
  3. formal-logic
  4. order-sorted
  5. three-valued
  6. autoepistemic
  7. algebraic

Equational Sentence Examples

  • We look at denotational semantics, using sets and functions, the substitution lemma and equational theory.

  • It is proved using a direct axiomatization of Kleisli categories of equational lifting monads.

  • Our framework allows equational reasoning of non-deterministic functions, even tho it is possible to specify non-determinism.