Generalized Computability and Model Theory for Linguistic Structures Тезисы доклада
| Конференция |
Международная конференция "Мальцевские чтения" 10-14 нояб. 2025 , Новосибирск, ИМ СО РАН |
||||
|---|---|---|---|---|---|
| Сборник | Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов Сборник, 2025. 236 c. |
||||
| Вых. Данные | Год: 2025, Страницы: 35 Страниц : 1 | ||||
| Авторы |
|
||||
| Организации |
|
Реферат:
There is a remarkable list of mathematicians who contributed to both generalized computability theory and mathematical linguistics, including R. Montague, J. Barwise and Y. Moschovakis. In this talk, we discuss results of Yu.L. Ershov on approximation spaces and finite type functionals, which allow to construct generalized computable models for formal semantics (also known as Montague semantics) of natural languages, unifying generalized computability with mathematical linguistics. We survey our recent results and discuss some open questions.
Библиографическая ссылка:
Stukachev A.I.
Generalized Computability and Model Theory for Linguistic Structures
В сборнике Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.35.
Generalized Computability and Model Theory for Linguistic Structures
В сборнике Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.35.
Идентификаторы БД:
Нет идентификаторов
Цитирование в БД:
Пока нет цитирований