Lithuanian Mathematical Journal

, Volume 19, Issue 1, pp 113–117 | Cite as

Herbrand deduction search strategies in predicate calculus. II

  • S. Norgėla
Article
  • 15 Downloads

Keywords

Search Strategy 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature Cited

  1. 1.
    S. Norgėla, “Herbrand deduction search strategies in the predicate calculus. I,” Liet. Mat. Rinkinys,18, No. 4, 95–100 (1978).Google Scholar
  2. 2.
    S. Yu. Maslov and S. A. Norgela, “Herbrand strategies and the relation of more deducible,” Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Akad. Nauk SSSR,68, 51–61 (1977).Google Scholar
  3. 3.
    A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).Google Scholar
  4. 4.
    S. Norgela, “Minus-normal sequential calculi,” Kibernetika, No. 3, 33–38 (1977).Google Scholar

Copyright information

© Plenum Publishing Corporation 1979

Authors and Affiliations

  • S. Norgėla

There are no affiliations available

Personalised recommendations