Дисертація присвячена питанням розробки алгебро-логічних моделей формалізації семантики речень. Запропоновано математичний опис частин мови у вигляді формул алгебри кінцевих предикатів і предикатних операцій. Розроблено алгебро-логічну синтаксичну модель на основі словосполучень. Розроблено модель семантики префіксально-суфіксального словотворення. Розроблена діалогова система аналізу і синтезу речень, яка впроважена в навчальний процес. Розролені алгебро-логічні моделі аналізу покладені в основу підсистеми обробки інформації при морфометричних дослідженнях на основі префіксально-суфіксальної обробки слів та обробки словосполучень з використанням виникаючих відношень і значень, впровадженої у відділі криоцитології та кількісної морфології Інституту проблем кріобіології та кріомедицини НАН України.