A (distributive) p-algebra is an algebra 〈L;∨,∧, ∗, 0, 1〉 whose reduct 〈L;∨,∧, 0, 1〉 is a bounded (distributive) lattice and whose unary operation ∗ is characterized by x ≤ a if and only if a ∧ x = 0. If L is a p-algebra, B(L) = { x ∈ L : x = x } and D(L) = { x ∈ L : x = 1 } then 〈B(L);∪,∧, 0, 1〉 is a Boolean algebra when a ∪ b is defined to be (a∗ ∧ b∗)∗, for any a, b ∈ B(L), D∗(L) = { x ∨ x∗ ...

D e f i n i t i o n 6. Let T = (S, R, L, Act, so) be an LTS. A function h : S -4 S is a selection function if and only if there exists a bisimulation relation B C S • S between T and T such that; For all s e S , 8 h(8) s B s' implies that h(s) = h(s') We say that h preserves the bisimulation relation B. Intuitively, the function h picks a representative from each equivalence class of S induced ...

In an important investigation of the longitudinal relation between marital adjustment and depressive symptoms, L. A. Kurdek (1998) reported an apparent failure to replicate prior findings reported by F. D. Fincham, S. R. H. Beach, G. T. Harold, and L. N. Osborne (1997). He attributed the diverging results to differences between the analytic approach taken in each of the studies. The authors rea...

> We propose a modiication L 1 of the action description language A. The language L 1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in A) as well as representation of actual occurrences of actions and observations of the truth values of uents in actual situations. The corresponding entailment relation formalizes various types of common-sense reasoni...

This is a study o f the dispersion formulas for small amplitude waves in a fully ionized Ncomponent plasma, in the presence of a constant external magnetic field. The number of ion species (whether positively or negatively charged) is left general. From a B O L T Z M A N N V L A S O V equation for each component of the plasma the first three moment equations are taken. The lowtemperature approx...

An order relation, which satisfies the axioms of a partial ordering, is defined on the set of general fuzzy numbers. An L fuzzy number is defined as a fuzzy numbcr specialized to a certain extent, and fundamental linear operations are introduced on the set of the L fuzzy numbers. After that, characterization theorems of the order among the L fuzzy numbers is given in terms of the parameters of ...

under the contemporary scenario of global climate change and increasing coastal eutrophication, baseline studies of phytoplankton diversity and distribution in relation to habitat conditions constitute the first approach to evaluate potential shifts at the base of the food webs. here we present data of phytoplankton species composition and environmental variables in winter 2006 in a temperate e...

The residuals about the standard Mbh-σ relation correlate with the effective radius, absolute magnitude, and Sérsic index of the host bulge. Although, it is noted here that the elliptical galaxies do not partake in such correlations. Moreover, it is revealed that barred galaxies (with their relatively small, faint, and low stellar concentration bulges) can deviate from the Mbh-σ relation by δ l...

Assuming a two component system for the muscle, a series elastic element and a contractile component, the analyses of the isotonic and isometric data points were related to obtain the series elastic stiffness, dP/dl(s), from the relation, See PDF for Equation From the isometric data, dP/dt was obtained and shortening velocity, v, was a result of the isotonic experiments. Substituting (P(0) - P)...