Meaning of unabbreviation | Babel Free

Definitions

1. The act of unabbreviating.
   uncommon, uncountable
2. The result of unabbreviating.
   countable, uncommon

Examples

“The alternative, of course, is unabbreviation. Quite apart from the extra labour of typing and printing involved, one’s whole experience of sol-fa (if any) brings home that as signs for distinguishing common sound-relationships single letters are the most efficient mnemonic system, besides being clearer to the eye, even in a single diversion like Point One.”

“T4. (x)(y)[(x ≪ y) ⊃ ~(y ≪ x)]. Partial unabbreviation of T4 yields ‘(x)(y){(x < y)⋅(x ≠ y) ⊃ ~[(y < x) ⋅ (y ≠ x)]}’.”

“There are two ways one can handle unabbreviation in a system such as E. The first is to remove all defined constants at the outset by preprocessing the initial expression.”

“I did find a scattering of rookies to admire, but not nearly as many as last spring, in the great vintage year of ’86, when I had my first, awed look at the Angels’ Wally Joyner, the Rangers’ Pete Incaviglia (an even better Texas youngster, Ruben Siena, didn’t join the club until midseason), the Giants’ Will Clark, and the Athletics’ (“the A’s” has undergone official unabbreviation) Jose Canseco.”

“The Data Resource Lexicon contains all the algorithms for abbreviating data names and a definition of when each algorithm is used. If the abbreviation algorithms use different word abbreviations, these are indicated in the definition of the algorithm. The lexicon can assist automatic abbreviation and unabbreviation of data names by passing the full data name through the algorithm to obtain the abbreviated data name or vice versa.”

“The XSLT stylesheet will have to recognize this type of link, possibly apply some special formatting to it, and most importantly resolve (unabbreviate) the abbreviated address. In this example, unabbreviation would supply the complete URL of the referenced document for the HTML link: […]”

“All legitimate unabbreviations of a given abbreviation are congruent, and hence by Lemma 15b equivalent. Thus it is immaterial in considering questions of deducibility and provability which legitimate unabbreviation is used.”

“Since the universal quantifier has been introduced as primitive, and since every formula containing an existential quantifier may be viewed as an abbreviation or unabbreviation of a similar formula containing only universal quantifiers, this general rule may be […]”

“The first equivalence in *R7.8, *R7.9 is simply an unabbreviation of "α∘≯β".”

“(∃ ! y)(Pyz ⋅ My) 5, UI / (∃y)[Pyz ⋅ My (x)(Pxz ⋅ Mx ⊃ y = x)] unabbreviation”

“Likewise, when we use other abbreviations, we can be vague about which of a number of logically equivalent unabbreviations is intended. For example, ϕ ⋀ ψ ⋀ χ could abbreviate either ϕ ⋀ (ψ ⋀ χ) or (ϕ ⋀ ψ) ⋀ χ, but since these two formulas are logically equivalent, it usually does not matter which of the two sentences we choose officially to represent ϕ ⋀ ψ ⋀ χ.”

“Latitude’s abbrev function allows you to create a library of abbreviations. Using this feature, you can generate files that contain unabbreviated forms of words or lines of text that you frequently use. Because abbreviation files allow you to create “unabbreviations” of up to several hundred characters, they can be a real timesaver.”

“We have chosen v in (1) to be a specific variable to make sure that (2) has a unique unabbreviation.”

“In fact, this is a good check on your unabbreviations: If the result is not a formula, you have made a mistake!”

“Let T be a first-order theory which encodes [its own syntax] in plausibly normalised ways (cf. (Smorynski, 1977), 827) and let δ in L(T) be an appropriate unabbreviation—(cf. 3.12 of (Boos, 1998)) of the following sentence: 3.24.1 [it is unprovable in T that [metatheoretic pointwise definability is expressible in T]].”

CEFR level