zbMATH — the first resource for mathematics

\(\Sigma^+\)-programs and their semantics. (Russian) Zbl 0696.03014
A lot of notions are included concerning logical aspects of computer science, as: \(\Sigma^+\)-formulas, \(\Sigma^+\)-definitions, \(\Sigma^+\)-schemes, \(\Sigma^+\)-programs (the symbol “+” marks the positivity of atomic formulas), standard strategy (as a deductive relation, recursively defined), and translations of parametrical logic programs into \(\Sigma^+\)-programs.
Among the results of the paper, there are two theorems asserting, respectively: correctness of the mentioned translation scheme of logic programs into \(\Sigma^+\)-programs; correctness and completeness of the standard strategy relatively to the semantics of \(\Sigma^+\)-programs.
Some remarks concerning the direction of future investigations in the matter are also included.
Reviewer: N.Both

03B70 Logic in computer science
68Q60 Specification and verification (program logics, model checking, etc.)
03D05 Automata and formal grammars in connection with logical questions
03B35 Mechanization of proofs and logical operations
68Q70 Algebraic theory of languages and automata