Эта публикация цитируется в 1 статье

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

Computable functionals of finite types in Montague semantics

A. S. Burnistov^a, A. I. Stukachev<sup>bc

a</sup> 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

Аннотация: 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.

УДК: 510.5

MSC: 03D65

Поступила 10 сентября 2024 г., опубликована 28 декабря 2024 г.

Язык публикации: английский

DOI: 10.33048/semi.2024.21.093