ABSTRACT

Term adopted from H.B.Curry is mathematical logic that basically denotes ‘linking’ and represents the basis of Šaumjan’s language theory ( applicational generative model).

Applications are formal operations for generating symbols that represent linguistic expression. Through applications linguistic entities are connected to other linguistic entities to form new entities, that is, expressed formally: if X and Y are entities of the most general type Ob(ject), then the combination of X and Y is also an entity of the type Ob. Every application can be interpreted as a function, but presupposes a subclassification of expressions for a meaningful application. Every type of categorial grammar is based on application.