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

  Скачати повний текст