The PS in 2011 were higher, and the equational
adjustment was by y = [ax.sup.n] with [R.sup.2] equal to 60% in SHB 80 (Figure 3c), and in SHB 140 by y = [e.sup.bx] with [R.sup.2] less than and equal to 46% (Figure 3d).
the biclausal construction in which the wh-element forms the predicate in a subject-predicate equational
Maude is a high level, very powerful, declarative language for the construction of the various kinds of applications based on both equational
and rewriting logics.
In the case of Maude, the underlying equational
theory is Membership Equational
Logic , which in addition to equations allows the user to define membership axioms stating the members of a sort.
As shown in (9, 10) equational
relationship between stresses and instability probability is unlinear.
We prove the following theorem announced by Zhil'tsov in 2000: the equational
theory of the class of all epigroups coincides with the equational
theory of the class of all finite epigroups and is decidable.
After reviewing the modern research into logical systems--such as equational
logics--devoid of the apparatus of propositional connectives, this paper notes the emergence of natural-deduction systems devoid of the apparatus of axiomatization.
The formulas are written in a scripting language similar to Latex, which is later translated and displayed in visual equational
modeling with Mplus: basic concepts, applications, and programming.
segregation, called random chromatid segregation and maximum equational
Schmidt, On n-permutable equational
classes, Acta Sci.
Cattaneo and Ciucci  focus on the study on lattices with interior and closure operators and abstract approximation spaces, in which the nonequational notion of abstract approximation space for roughness theory is introduced, and its relationship with the equational
definition of lattice with Tarski interior and closure operations is studied.