(redirected from duplicatable)
Also found in: Dictionary, Thesaurus.
Related to duplicatable: duplicable

DUPLICATE. The double of anything.
     2. It is usually applied to agreements, letters, receipts, and the like, when two originals are made of either of them. Each copy has the same effect. The term duplicate means a document, which is essentially the same as some other instrument. 7 Mann. & Gr. 93. In the English law, it also signifies the certificate of discharge given to an insolvent debtor, who takes the benefit of the act for the relief of insolvent debtors.
     3. A duplicate writing has but one effect. Each duplicate is complete evidence of the intention of the parties. When a duplicate is destroyed, for example, in the case of a will, it is presumed. both are intended to be destroyed; but this presumption possesses greater or less force) owing to circumstances. When only one of the duplicates is in the possession of the testator, the destruction of that is a strong presumption of an intent to revoke both; but if he possessed both, and destroys but one, it is weaker; when he alters one, and afterwards destroys it , retaining the other entire, it has been held that the intention was to revoke both. 1 P. Wms. 346; 13 Ves. 310 but that seems to be doubted. 3 Hagg. Eccl. R. 548.

A Law Dictionary, Adapted to the Constitution and Laws of the United States. By John Bouvier. Published 1856.
References in periodicals archive ?
Notice that the single rule eq-flag equates the duplicatable capability {[r.sup.+]} with the barred capability [bar]{[r.sup.1]}.
Fortunately, equality of duplicatable capabilities is exactly set equality.
Notice also that the capability that appears in this type is duplicatable, so we can prove that equal types are translated to equal types.
In particular, linear assumptions, like unique capabilities, do not allow contraction and weakening rules whereas nonlinear assumptions, like duplicatable capabilities, do allow contraction and weakening rules.(6) One essential difference between the two formalisms is that the capability to access an object (say, {[[Rho].sup.1]}) is separated from the type of the object itself (say, <int> at [Rho]).
The only way to form a duplicatable capability is to use the bar operator as in [bar]{r}; hence multiplicity annotations are unnecessary.
A capability C is duplicatable in C' if [bar]C" [element of] C' and C [element of] [bar]C".
C' : Cap and C is duplicatable in C' then [Delta] ??
(1) a is unique (duplicatable) in [C.sub.1] iff a is unique (duplicatable) in [C.sub.2].