Диссертационная работа посвящена разработке методов формального описания структуры естественного языка с помощью алгебры предикатов и алгебры предикатных операций, а также аппарата логических сетей. Целью работы является повышение качества решения задачи формализации естественного языка за счет построения алгебрологических моделей морфологии и их применения в логических сетях.