Use of predicate categories for modelling of operation of the semantic analyzer of the linguistic processor

The task of analytic-synthetic process of text information cannot be solved without deep knowledge about the structure of language, without using a deep linguistic processor, processing morphology and syntax as well as semantics of language. On the stage of semantic analysis methods and algorithms of the theory of categories and predicate algebra are suggested to be used for defining connections between informational objects, which are in different superphrases unities, and referring them to description or consideration of one theme or one event. The linear logical operators were used for extracting a semantic meaning of a higher level language system from semantic meanings of the preceding level of a language system.