Adjective : "Very interesting, those books" is an equational sentence. From Dictionary.com.
The first axiom and the first two rules constitute equational logic. From Wordnik.com. [Combinatory Logic] Reference
IL0 it is 1 § p 1, which is the equational way of defining the order. From Wordnik.com. [Propositional Consequence Relations and Algebraic Logic] Reference
L should translate into properties of the associated equational consequence relation. From Wordnik.com. [Propositional Consequence Relations and Algebraic Logic] Reference
Was it really acceptable to work with uninterpretable terms in equational derivations?. From Wordnik.com. [The Algebra of Logic Tradition] Reference
L is faithfully interpreted into the equational logic of the equivalent algebraic semantics. From Wordnik.com. [Propositional Consequence Relations and Algebraic Logic] Reference
His omission of a symbol for equality made it impossible to develop an equational algebra of logic. From Wordnik.com. [The Algebra of Logic Tradition] Reference
The structure of varieties as classes of all models of some equational theory is also of great interest. From Wordnik.com. [Algebra] Reference
An equational theory is a deductively closed set of equations, equivalently the set of all consequences of some set. From Wordnik.com. [Algebra] Reference
The first volume concerned the equational logic of classes, the main result being Boole's Elimination Theorem of 1854. From Wordnik.com. [The Algebra of Logic Tradition] Reference
Note: Modern equational logic deals with universally quantified equations (which would have been called laws in the 1800s). From Wordnik.com. [The Algebra of Logic Tradition] Reference
This completeness technique complements the completeness observed in the previous section for the rules of equational logic. From Wordnik.com. [Algebra] Reference
Some elements of equational logic that we now take for granted required a considerable number of years for Jevons to resolve. From Wordnik.com. [The Algebra of Logic Tradition] Reference
In the 1940s, Tarski joined in this development of equational logic; the subject progressed rapidly from the 1950s till the present time. From Wordnik.com. [The Algebra of Logic Tradition] Reference
Since the equational theory of the integers contains no such law we can tell from its theory as a whole that the integers must be an infinite set. From Wordnik.com. [Algebra] Reference
A formalization of equational CL may be obtained by extending the standard equational logic with combinatory axioms and rules characterizing application. From Wordnik.com. [Combinatory Logic] Reference
Peirce's calculus of relations has been criticized for remaining unnecessarily tied to previous work on Boolean algebra and the equational paradigm in mathematics. From Wordnik.com. [Peirce's Logic] Reference
To illustrate, EQP, a theorem-proving program for equational logic, was used to solve an open question in Robbins algebra (McCune 1997): Are all Robbins algebras Boolean?. From Wordnik.com. [Automated Reasoning] Reference
(Whitman (1941) gave a different solution to the more limited equational decision problem for lattices; it became widely known as the solution to the word problem in lattices.). From Wordnik.com. [The Algebra of Logic Tradition] Reference
Algebraic models (often called “term models”) may be constructed without difficulty for both the inequational and the equational systems of CL that were introduced in section 2.1. From Wordnik.com. [Combinatory Logic] Reference
What distinguishes term rewriting from equational logic is that in term rewriting equations are used as unidirectional reduction rules as opposed to equality which works in both directions. From Wordnik.com. [Automated Reasoning] Reference
These five rules therefore completely axiomatize equational logic in the sense that every consequence of a set A of equations can be produced from A via finitely many applications of these five rules. From Wordnik.com. [Algebra] Reference
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. From Wordnik.com. [The Algebra of Logic Tradition] Reference
The equational theory of distributive lattices is obtained from that of Boolean algebras by selecting as its operations just the monotone binary operations on the two-element algebra, omitting the constants. From Wordnik.com. [Algebra] Reference
Its elementary counterpart is the theorem that the equational theories on a free algebra F (V), defined as the deductively closed sets of equations that use variables from V, are exactly its substitutive congruences. From Wordnik.com. [Algebra] Reference
Variations on Algebra: monadicity and generalisations of equational theories. From Wordnik.com. [Random Hacks] Reference
In return you get powerful reasoning tools: equational reasoning and parametricity. From Wordnik.com. [Planet Haskell] Reference
The equational treatment of propositions is closely connected with the diagrammatic. From Wordnik.com. [Logic Deductive and Inductive] Reference
(Fig. 7) is in every way consistent with the previous equational treatment of the same bands. From Wordnik.com. [Harvard Psychological Studies, Volume 1 Containing Sixteen Experimental Investigations from the Harvard Psychological Laboratory.] Reference
(i) It could tell us to what extent the equational laws holding of the integers characterize the integers. From Wordnik.com. [Algebra] Reference
With a few equational strokes of his pen, Einstein has banished from the cosmos every fixed reality except that of light. From Wordnik.com. [Autobiography of a Yogi]
More broadly, it's the side-effect that lies at the heart of the problem as equational reasoning breaks down in such a setting. From Wordnik.com. [B# .NET Technical Community Homepage] Reference
Bertrand is an equational programming system whose purpose is to build constraint satisfaction systems using simple equational rules. From Wordnik.com. [Making it stick.] Reference
It ignores, however, the fundamental differences which exist, brings all faiths into the same equational value, and assumes that they are equally effective as ways of salvation. From Wordnik.com. [India, Its Life and Thought] Reference
And so far it is easy to follow his meaning: the Xs are identical with some or all the Ys. But, coming to the negatives, the equational interpretation is certainly less obvious. From Wordnik.com. [Logic Deductive and Inductive] Reference
A few equational strokes of his pen, Einstein has banished from the cosmos every fixed reality except that of light. From Wordnik.com. [Autobiography of a Yogi] Reference
The equational consequence is defined as follows. From Wordnik.com. [Propositional Consequence Relations and Algebraic Logic] Reference
(See unwrap above shows that these troublesome ⊥ points do not arise, and so a trivial equational proof shows that wrap ∘ unwrap ≡ id. From Wordnik.com. [Planet Haskell] Reference
LearnThatWord and the Open Dictionary of English are programs by LearnThat Foundation, a 501(c)3 nonprofit.
Questions? Feedback? We want to hear from you!
Email us
or click here for instant support.
Copyright © 2005 and after - LearnThat Foundation. Patents pending.