The correspondence theory states that a proposition is true if and only if it corresponds to certain objective conditions.
The semantics captures model constraints and domain assumptions in terms of abstract data types, and a transformation is correct if and only if it corresponds to a data refinement.
A representation M in R ′ is strongly regular if and only if M corresponds under this equivalence to a cyclic k [ T ] -module.
If tmin corresponds to a deletion, modify s by deleting the corresponding fragment or spacer.
A signal in this context is "good" if it corresponds to the currently presented stimulus, and "bad" if it corresponds to another stimulus that, for example, was presented 1 minute earlier.
The basic idea of the correspondence theory is that what we believe or say is true if it corresponds to the way things actually are to the facts.
Diagnosis is made by observing behavior to see if it corresponds with formal diagnostic criteria.
We predicted that if d corresponds to edn3, then knockdown of Edn3 should phenocopy white, more similar to mammals than to zebrafish.
Independently of how the defects are introduced, if the diffraction peaks are streaked prior to deformation, slip starts in the direction matching the observed streaking, even if this corresponds to a low Schmid factor.
The constraint for such a measure, E, is that if p1 corresponds (or is similar) to p2then E(p2then0.
But if it corresponds to the possibilist conception of existence relativized to the largest available domain, then Parsons' ontology goes beyond that of possibilists.
