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.

Podrobná bibliografie

Vydáno v:	Siberian mathematical journal Ročník 58; číslo 5; s. 794 - 800
Hlavní autor:	Goncharov, S. S.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.09.2017 Springer Nature B.V
Témata:	Lists Mathematics Mathematics and Statistics semantic programming Δ conditional term computability formula term computability over abstract structures restricted quantifier Σ-formula
ISSN:	0037-4466, 1573-9260
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!