For example: USA ANSI Z.39.14-1971. Writing abstracts: USSR GOST 7.9-70. Sistema informacjonnobibhograficeskoj dokumentacyji. Referat i annotacija; Poland PN-77/N-01221. Adnotacje i analizy dokumentacyjne.
2.
ISO 214-1976. Documentation. Abstracts for publications and documentation; SEV RS 2132-99. Pravilá podgotovki rezjume; SEV RS 2133-69. Pravilá podgotovki referatov; UNESCO-SC/M-5. Guide for preparation of scientific papers for publication.
3.
The stipulation “without repetitions” means that there are no equiforms (or synonymous) elements in X’. It can be more rigorously stated thus: For any text X which is a string of sentences z, … zn: (i): for any x in X’ there is an l ≤ i ≤ n such that E(zi, x), where E stands for the relation of equiformity. (ii): for any x, y in X”, if x ≠ y then ¬E(x, y). The consequent in (ii) can be replaced by ¬S(x, y), where S stands for the relation of synonymity. The latter is a stronger condition than the former, but it seems debatable whether it is necessary.
4.
TarskiA., Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften.Monatshefte fur Mathematik und Physik37 (1930); A. Tarski, Grundzuge des Systemenkalkuls. Fundamenta Mathematicae 25 (1935) 502-26; A. Tarski, Uber einige fundamentale Begriffe der Metamtthematik. Sprawozdania Towarzystwa Naukowego Warazawskiego III 23 (1930).
5.
ParryW., Ein Axiomensystem fur eine neue Art von Implikation (Analytische Implikation).Ergebmisse eines mathematischen Kolloquiums, Vol. 4 (133).
6.
ZinovevA., and WesselH., Logische Sprach-Regeln.Eine Einfuhrung in die Logik (Berlin, 1975).
7.
EpsteinR.L., Relatedness and implication, Philos Stud.36 (2) (1979) 137-73.
8.
For example: BernierL.C., Abstracts and abstracting, in: KentA., ed. [and others], Encylopedia of Library and Information Science, Vol. 1 (New York: Dekker, 1968) pp. 16-38.
9.
MarciszewskiW., Metody Analizy Tekstu Naukowego (Warszawa, 1977).