Computable Functionals of Finite Types in Montague Semantics | Sciact - Система учета научной деятельности ИМ СО РАН

Computable Functionals of Finite Types in Montague Semantics Научная публикация

Журнал

Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304

Вых. Данные

Год: 2024, Том: 21, Номер: 2, Страницы: 1460-1472 Страниц : 13 DOI: 10.33048/semi.2024.21.093

Ключевые слова

Montague semantics, functionals of finite types, generalized computability, Σ--predicates, Σ--operators.

Авторы

Burnistov A.S. ¹ , Stukachev A.I. ^2,3

Организации

1	Mines Paris, PSL University, 60 bd Saint-Michel, 75006, Paris, France
2	Novosibirsk State University, Pirogova str., 1, 630090, Novosibirsk, Russia
3	Sobolev Institute of Mathematics, Acad. Koptyug avenue, 4, 630090, Novosibirsk, Russia

Информация о финансировании (1)

Математический центр в Академгородке

075-15-2022-282

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 Σ--predicates of finite types in admissible sets introduced by Yu.L.Ershov.

Burnistov A.S. , Stukachev A.I.
Computable Functionals of Finite Types in Montague Semantics
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024. V.21. N2. P.1460-1472. DOI: 10.33048/semi.2024.21.093 WOS Scopus

Поступила в редакцию:	10 сент. 2024 г.
Принята к публикации:	20 нояб. 2024 г.
Опубликована в печати:	28 дек. 2024 г.
Опубликована online:	28 дек. 2024 г.

Web of science:	WOS:001399958000014
Scopus:	2-s2.0-85216979611

Пока нет цитирований