unabbreviation

Noun

unabbreviation (countable and uncountable, plural unabbreviations)

1. (uncommon, uncountable) The act of unabbreviating.
   • 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...1956, The Music Review, volumes 17–18, page 264
   • T4. (x)(y)[(x ≪ y) ⊃ ~(y ≪ x)]. Partial unabbreviation of T4 yields ‘(x)(y){(x < y)⋅(x ≠ y) ⊃ ~[(y < x) ⋅ (y ≠ x)]}’.1970, Gerald J. Massey, Understanding Symbolic Logic, New York, N.Y.; Evanston, Ill.; London: Harper & Row, →LCCN, page 310
2. (countable, uncommon) The result of unabbreviating.
   • 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.1952, Stephen Cole Kleene, “[The Predicate Calculus] Replacement”, in Introduction to Metamathematics (The University Series in Higher Mathematics), New York, N.Y.; Toronto, Ont.: D. Van Nostrand...
   • 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 […]1957, Norman Kretzmann, Elements of Formal Logic: An Introductory Textbook, Long’s College Book Company, page 142