from The Century Dictionary.

  • As an equation or as equations: in the form of equations; by use of equations.


Sorry, no etymologies found.


  • This fact gives a way of showing that lK can not be algebraizable by showing that the lK-filters of the reduced matrices are not equationally definable from the algebras, since if they where then for every A ˆˆ

    Propositional Consequence Relations and Algebraic Logic

  • Tarski's paper treated relation algebras as an equationally defined class ” such a class has many models besides the collection of all binary relations on a given universe that was considered in the 1800s, just as there are many Boolean algebras besides the power set Boolean algebras studied in the

    The Algebra of Logic Tradition


Log in or sign up to get involved in the conversation. It's quick and easy.