Abstract
The concept of a term and, accordingly, the concept of a formula are extended using new operators. These extensions of the language preserve the expressiveness of \(\Sigma \)-formulas and, at the level of \({{\Delta }_{0}}\)-formulas and terms, they ensure the polynomiality of algorithms for calculating the value of a term and deciding the truth of a \({{\Sigma }_{0}}\)-formula.
Similar content being viewed by others
REFERENCES
S. S. Goncharov and D. I. Sviridenko, Vychisl. Sist. 107, 3–29 (1985).
S. S. Goncharov and D. I. Sviridenko, Lect. Notes Comput. Sci. 215, 169–179 (1986).
Yu. L. Ershov, S. S. Goncharov, and D. I. Sviridenko, Information Processing 86: Proceedings of IFIP 10th World Computer Congress (Elsevier, Amsterdam, 1986), Vol. 10, pp. 1113–1120.
S. S. Goncharov and D. I. Sviridenko, Dokl. Akad. Nauk SSSR 289 (6), 1324–1328 (1986).
Yu. L. Ershov, S. S. Goncharov, and D. I. Sviridenko, Lect. Notes Comput. Sci. 278, 116–122 (1987).
Yu. L. Ershov, Dokl. Akad. Nauk SSSR 270 (4), 786–788 (1983).
Yu. L. Ershov, Dokl. Akad. Nauk SSSR 273 (5), 1045–1048 (1983).
Yu. L. Ershov, Definability and Computability: Siberian School of Algebra and Logic (Consultants Bureau, New York, 1996).
J. Barwise, Admissible Sets and Structures (Springer, Berlin, 1975).
S. Arora and B. Barak, Computational Complexity: A Modern Approach (Cambridge Univ. Press, Cambridge, 2009).
Ch. Papadimitriou, Computational Complexity (Addison-Wesley, Reading, Mass., 1994).
S. S. Ospichev and D. Ponomarev, Sib. Electron. Math. Rep. 15, 987–995 (2018).
S. S. Goncharov, Sib. Math. J. 58 (5), 794–800 (2017).
ACKNOWLEDGMENTS
This work was supported by the Russian Science Foundation, project no. 17-11-01176.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Translated by I. Ruzanova
Rights and permissions
About this article
Cite this article
Goncharov, S.S., Sviridenko, D.I. Logical Language of Description of Polynomial Computing. Dokl. Math. 99, 121–124 (2019). https://doi.org/10.1134/S1064562419020030
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064562419020030