Дисертація прсвячена рішенню актуальної задачі підвищення якості формалізації природної мови на прикладі створення алгебрологічних моделей морфології та їх застосування у логіних мережах. Побудова логічних мереж необхідна при проектуванні мозкоподібних ЕОМ паралельної дії.
Розроблений метод схемної реалізації предикатних операцій заміни, перестановки, підстановки та обчислення значень кванторів. Отримане представлення довільного відображення. Сформульовані властивості квазідекартового добутку. Розроблений метод схемної реалізації відображень. Отриманий формульний запис мовою алгебри предикатів функції закінчення словоформ прикметників. Запропонований алгебрологічний метод загальної роботи логічних мереж. Побудована логічна мережа, що моделює морфологічне відношення відмінювання повних неприсвійних прикметників російської мови для звукового варіанту.