Гончаров С. С.
Условные термы в семантическом программировании

Для построения обогащения языка с ограниченными кванторами расширяется конструкция построения условных термов. Показано, что полученное расширение языка формул с ограниченными кванторами над структурами с наследственно конечными списками является консервативным обогащением.

S. S. Goncharov
Conditional terms in semantic programming

For constructing an enrichment of the language with restricted quantifiers, we extend the construction of conditional terms. We show that the so-obtained extension of the language of formulas with restricted quantifiers over structures with hereditary finite lists is a conservative enrichment.

DOI 10.17377/smzh.2017.58.506
Ключевые слова: формулы, термы, ограниченные кванторы, $\Delta_0$-формулы, $\Sigma$-формулы, семантическое программирование, вычислимость, вычислимость над абстрактными структурами, условные термы.

Полный текст статьи / Full texts:

• PDF file