Semantic Programming and Polynomially Computable Representations

In the present article, we consider the question on existence of polynomially computable representations for basic syntactic constructions of the first-order logic and for objects of semantic programming (such as -programs and -formulas). We prove that the sets of linear or tree-like derivations in...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Siberian advances in mathematics Ročník 33; číslo 1; s. 66 - 85
Hlavní autor:	Nechesov, A. V.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.02.2023 Springer Nature B.V
Témata:	Algorithms Calculus Language Mathematics Mathematics and Statistics Polynomials Predicate calculus Programming languages Representations Semantics semantic programming Gandy theorem smart contracts proof verification GNF-systems iterative terms polynomial computability PAG-theorem artificial intelligence proof theory
ISSN:	1055-1344, 1934-8126
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!

Buďte první, kdo okomentuje tento záznam!