Advertisement

Lithuanian Mathematical Journal

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

Herbrand deduction search strategies in predicate calculus. II

  • S. Norgėla
Article
  • 16 Downloads

Keywords

Search Strategy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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