Abstract: Рассматриваются алгоритмические свойства моделей интенсиональной логики Монтегю, используемых в математической лингвистике для формализации и представления семантики предложений естественного языка. Функционалы конечных типов играют важную роль в структуре таких моделей . Построены несколько вычислимых моделей пространств функционалов конечных типов, свойства которых зависят от выбора трех базовых пространств: для сущностей, для истинностных значений, и для состояний. Работа выполнена в рамках государственноого задания ИМ СО РАН, номер проекта FWNF-2022-0012.

Cite: Стукачев А.И.
Вычислимые модели интенсиональной логики
Мальцевские чтения : Международная конференция 13-17 нояб. 2023