У даній дисертаційній роботі на базі алгебри кінцевих предикатів розроблені алгебро-логічні моделі, що призначені для формалізації текстів природної мови. Частини мови природної мови представлені в предикативному вигляді, введені операції кон'юнкції, диз'юнкції і заперечення, за допомогою яких здійснена реалізація трьох типів зв'язку словоформ в словосполученнях і реченнях.Розглянута структура словоформи з двома основами, побудована математична модель, що описує загальний вигляд складного слова за допомогою деяких тотожностей лінгвістичної алгебри.