Advertisement

Siberian Mathematical Journal

, Volume 29, Issue 1, pp 133–139 | Cite as

A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice

  • E. Z. Skvortsova
Article

Keywords

Initial Segment Propositional Calculus Intuitionistic Propositional Calculus Medvedev Lattice Faithful Interpretation 
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.
    Yu. T. Medvedev, “Degrees of difficulty of mass problems,” Dokl. Akad. Nauk SSSR,104, No. 4, 501–504 (1955).Google Scholar
  2. 2.
    Yu. T. Medvedev, “Finite problems,” Dokl. Akad. Nauk SSSR,142, No. 5, 1015–1018 (1962).Google Scholar
  3. 3.
    H. J. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1969).Google Scholar
  4. 4.
    H. Rasiowa and R. sikorski, The Mathematics of Metamathematics, Nauka, Moscow (1972).Google Scholar
  5. 5.
    V. A. Yankov, “Three sequences of formulas with two variables in positive propositional logic,” Izv. Akad. Nauk SSSR, Ser. Mat.,32, No. 4, 880–883 (1968).Google Scholar
  6. 6.
    Yu. T. Medvedev, “On interpretation of logical formulas by means of finite problems,” Dokl. Akad. Nauk SSSR,169, No. 1, 20–24 (1966).Google Scholar
  7. 7.
    L. L. Maksimova, D. P. Skvortsov, and V. P. Shekhtman, “On the impossibility of finite axiomatization of the logic of finite problems,” Dokl. Akad. Nauk SSSR,245, No. 5, 1051–1054 (1979).Google Scholar
  8. 8.
    A. A. Muchnik, “On strong and weak reducibility of algorithmic problems,” Sib. Mat. Zh.,4, No. 6, 1328–1341 (1963).Google Scholar
  9. 9.
    A. N. Lachlan, “Distributive initial segments of the degrees of unsolvability,” Z. Math. Logik Grundl. Math.,14, No. 5, 457–472 (1968).Google Scholar

Copyright information

© Plenum Publishing Corporation 1988

Authors and Affiliations

  • E. Z. Skvortsova

There are no affiliations available

Personalised recommendations