Literature Cited
V. M. Glushkov and Yu. V. Kapitonova, “Computer-aided theorem proving of mathematical theories and intelligent machines,” Kibernetika, No. 5, 2–6 (1972).
V. M. Glushkov, K. P. Vershinin, Yu. V. Kapitonova, et al., “On a formal language for representation of mathematical texts,” in: Computer-Aided Theorem Proving in Mathematics [in Russian], IK Akad. Nauk UkrSSR, Kiev (1974), pp. 3–26.
V. M. Glushkov, “Computer-aided proving system (CAP),” in: Computer-Aided Processing of Mathematical Texts [in Russian], IK Akad. Nauk UkrSSR, Kiev (1980), pp. 3–30
V. V. Atayan, “On some tools for the construction of an information medium in a computer-aided proving system,” in: Mathematical Foundations of Artificial Intelligence Systems [in Russian], IK Akad. Nauk UkrSSR, Kiev (1981), pp. 11–17.
V. V. Atayan and K. P. Vershinin, “Formalization of some deduction techniques,” in: Computer-Aided Processing of Mathematical Texts [in Russian], IK Akad. Nauk UkrSSR, Kiev (1980), pp. 36–52.
M. Davis, Applied Nonstandard Analysis [Russian translation], Mir, Moscow (1980).
A. H. Clifford and G. B. Preston, Algebraic Theory of Semigroups, Am. Math. Soc.
Additional information
Translated from Kibernetika, No. 1, pp. 108–111, January–February, 1985.
Rights and permissions
About this article
Cite this article
Atayan, V.V. An algebraic approach to the formalization of some deduction techniques. Cybern Syst Anal 21, 131–136 (1985). https://doi.org/10.1007/BF01075129
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01075129