Сибирские электронные математические известия
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирские электронные математические известия, 2024, том 21, выпуск 2, страницы 1460–1472
DOI: https://doi.org/10.33048/semi.2024.21.093 (Mi semr1756) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математическая логика, алгебра и теория чисел

Computable functionals of finite types in Montague semantics

A. S. Burnistova, A. I. Stukachevbc

a Mines Paris, PSL University, 60 bd Saint-Michel, 75006, Paris, France
b Novosibirsk State University, Pirogova str., 1, 630090, Novosibirsk, Russia
c Sobolev Institute of Mathematics, pr. Koptyuga, 4, 630090, Novosibirsk, Russia
PDF полного текста (474 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/semi.2024.21.093
Аннотация: We consider a computable model of functionals of finite types used in Montague semantics to represent grammar categories in natural language sentences. The model is based on the notion of $\Sigma$-predicates of finite types in admissible sets introduced by Yu.L.Ershov.
Ключевые слова: Montague semantics, functionals of finite types, generalized computability, $\Sigma$-predicates, $\Sigma$-operators.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2022-282
he second author is supported by the Mathematical Center in Akademgorodok under the agreement No. 075-15-2022-282 with the Ministry of Science and Higher Education of the Russian Federation
Поступила 10 сентября 2024 г., опубликована 28 декабря 2024 г.
Тип публикации: Статья
УДК: 510.5
MSC: 03D65
Язык публикации: английский
Образец цитирования: A. S. Burnistov, A. I. Stukachev, “Computable functionals of finite types in Montague semantics”, Сиб. электрон. матем. изв., 21:2 (2024), 1460–1472
Цитирование в формате AMSBIB
\RBibitem{BurStu24}
\by A.~S.~Burnistov, A.~I.~Stukachev
\paper Computable functionals of finite types in Montague semantics
\jour Сиб. электрон. матем. изв.
\yr 2024
\vol 21
\issue 2
\pages 1460--1472
\mathnet{http://mi.mathnet.ru/semr1756}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1756
  • https://www.mathnet.ru/rus/semr/v21/i2/p1460
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:75
    PDF полного текста:31
    Список литературы:4
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026