Definitions
from The Century Dictionary.
- Operating with equations: as, equational logic.
- In machinery, equalizing; adjusting: equivalent to differential as applied to gearing and the like.
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective Of, pertaining to, or constructed using
equations
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word equational.
Examples
-
The longer he considered them, the faster he was able to gather useful information: gaps in time, how missing components from his inbuilt equational field could be compensated for; he was, in other words, able to think abstractly.
Anders: A Brief History Matthew J. Robinson 2011
-
In the 1940s, Tarski joined in this development of equational logic; the subject progressed rapidly from the 1950s till the present time.
The Algebra of Logic Tradition Burris, Stanley 2009
-
As mentioned earlier, Boole gave inadequate sets of equational axioms for his system, originally starting with the two laws due to Gregory plus his idempotent law; these were accompanied by De Morgan's inference rule that one could carry out the same operation
The Algebra of Logic Tradition Burris, Stanley 2009
-
Was it really acceptable to work with uninterpretable terms in equational derivations?
The Algebra of Logic Tradition Burris, Stanley 2009
-
Monk (1964) proved that, unlike the calculus of classes, there is no finite equational basis for the calculus of binary relations.
The Algebra of Logic Tradition Burris, Stanley 2009
-
The first volume concerned the equational logic of classes, the main result being Boole's Elimination Theorem of 1854.
The Algebra of Logic Tradition Burris, Stanley 2009
-
Thus his calculus of relations became the study of a certain equational theory which he noted had the same relation to the study of all binary relations on sets as the equational theory of Boolean algebra had to the study of all subsets of sets.
The Algebra of Logic Tradition Burris, Stanley 2009
-
Some elements of equational logic that we now take for granted required a considerable number of years for Jevons to resolve:
The Algebra of Logic Tradition Burris, Stanley 2009
-
By carrying out this analysis in the special setting of an algebra of predicates (or equivalently, in an algebra of classes) Jevons played an important role in the development of modern equational logic.
The Algebra of Logic Tradition Burris, Stanley 2009
-
His omission of a symbol for equality made it impossible to develop an equational algebra of logic.
The Algebra of Logic Tradition Burris, Stanley 2009
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.