Skip to main content
SpringerLink
Log in

Method of invariant transformations and logical deduction

  • Published:
Mathematical notes of the Academy of Sciences of the USSR Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literature cited

  1. V. I. Mart'yanov, “Methods of defining and partially constructing theories on computers,” Kibernetika, No. 6, 102–110 (1982).

    Google Scholar 

  2. A. K. Zherlov, V. I. Mart'yanov, and A. A. Kharmeev, “Normal transformations of formulas,” 5th All-Union Conf. on Math. Logic, Lecture Theses, Novosibirsk (1979), p. 52.

  3. A. K. Zherlov and V. I. Mart'yanov, “Automatization of the deduction of theorems in group theory,” in: Algorithmic Problems of Algebraic Systems and Computers [in Russian], Mezhvuz. Nauch.-Tem. Sb., Irkutsk State Univ. (1979), pp. 36–64.

  4. V. F. Kleimanov, “Automatization of the deduction of theorems in category theory,” in: Algorithmic Problems of Algebraic Systems and Computers [in Russian], Mezhvuz. Nauch.-Tem. Sb., Irkutsk (1979), pp. 65–83.

    Google Scholar 

  5. A. B. Nikolenko, “Automatization of the deduction of theorems in axiomatic set theory,” in: Algorithmic Problems of Algebraic Systems and Computers [in Russian], Mezhvuz. Nauch.-Tem. Sb., Irkutsk State Univ. (1979), pp. 177–190.

  6. D. Prawitz, Natural Deduction, Almquist and Wiksell, Stockholm (1965).

  7. G. Henzen, “The study of logical deductions,” in: The Mathematical Theory of Logical Deduction [in Russian], Nauka, Moscow (1967), pp. 9–76.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Irkutsk Computing Center, Siberian Branch, Academy of Sciences of the USSR, USSR

    A. B. Nikolenko

Authors
  1. A. B. Nikolenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Matematicheskie Zametki, Vol. 36, No. 1, pp. 3–15, July, 1984.

The author is deeply grateful to V. I. Mart'yanov for his valuable remarks and his constant attention to this article.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nikolenko, A.B. Method of invariant transformations and logical deduction. Mathematical Notes of the Academy of Sciences of the USSR 36, 493–500 (1984). https://doi.org/10.1007/BF01139547

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01139547

Keywords

Search

Navigation