Skip to main content
SpringerLink
Log in

Information in a calculus and combinatorial-scan performance

  • Published:
Cybernetics Aims and scope

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. E. L. Post, “Formal reductions of the general combinatorial decision problem,” Am. J. Math.,65, No. 2 (1943).

  2. S. Yu. Maslov, “Derivation definition in general-type calculuses,” Proceedings of the Seminars at the Leningrad Division of the Mathematics Institute, Academy of Sciences of teh USSR [in Russian], Vol. 32 (1972).

  3. S. Yu. Maslov, “Derivation theory and applications,” Kibernetika, No. 4 (1975).

  4. G. S. Tseitin, “Derivation complexity in statement calculus,” Proceedings of the Seminars at the Leningrad Division of the Mathematics Institute, Academy of Sciences of the USSR [in Russian], Vol. 8 (1968).

  5. V. N. Pushkin, Heuristics: Ths Science of Logical Thinking [in Russian], Politizdat, Moscow (1967).

    Google Scholar 

  6. S. Yu. Maslov, “Derivation definition as a model for the heuristic process,” Kibernetika, No. 5 (1972).

  7. H. B. Curry, “Calculuses and formal systems,” Dialectica,12, Nos. 3-4 (1972).

  8. S. Yu. Maslov, “The concept of strict representability in the general theory of calculuses,” Tr. Mosk. Inst. Akad. Nauk SSSR,93 (1967).

  9. S. Yu. Maslov and E. D. Rusakov, “Probabilistic canonical calculuses,” Proceedings of the Seminars at the Leningrad Division of the Mathematics Institute, Academy of Sciences of the USSR [in Russian], Vol. 32 (1972).

  10. S. Yu. Maslov, “Information as a measure of uncertainty in a set of derivable words,” Abstracts for the Fourth All-Union Conference on Mathematical Logic [in Russian], Kishinev (1976).

  11. S. Yu. Maslov, “The relationship between the tactics of the inverse method and of the resolution method,” Proceedings of the Seminars at the Leningrad Division of the Mathematics Institute, Academy of Sciences of the USSR [in Russian], Vol. 16 (1969).

  12. S. Yu. Maslov, “The inverse method of establishing derivability for logical calculuses,” Tr. Mosk. Inst. Akad. Nauk SSSR,98 (1968).

  13. S. Kanger, “A simplified method of proof for elementary logic,” in: The Mathematical Theory of Logical Derivation [in Russian], Nauka, Moscow (1967).

    Google Scholar 

  14. M. V. Botvinnik, The Cybernetic Purpose of Chess [in Russian], Sovetskoe Radio, Moscow (1975).

    Google Scholar 

Download references

Authors
  1. S. Yu. Maslov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika, No. 2, pp. 20–26, March–April, 1979.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maslov, S.Y. Information in a calculus and combinatorial-scan performance. Cybern Syst Anal 15, 176–183 (1979). https://doi.org/10.1007/BF01069327

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation