Структурные и алгоритмические свойства моделей полных теорий
Руководитель проекта: Омаров А.И.
Исполнители проекта: С.С.Заурбеков
Организация: НИИ мех.и мат.при КазГУ
Инвентарный номер: 0297РК00019
Регистрационный номер: 0194РК01208
Ключевые слова: полные, теории, модели, свойства, эквивалентность, критерии,
Получены критерии логической эквивалентности мультипликативной и Р-формулы. Выяснены алгоритмические сложности некоторых семантических классов предложений, исследована минимальность простой модели.