Algebra and Logic

, Volume 11, Issue 5, pp 308–314 | Cite as

Pretabular superintuitionist logic

  • L. L. Maksimova
Article

Keywords

Mathematical Logic Superintuitionist Logic Pretabular Superintuitionist Logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    V. Ya. Gerchiu and A. V. Kuznetsov, “On varieties of pseudo-Boolean algebras, specified by identities of bounded length,” in: 9th All-Union Algebraic Colloquium, Resume of Communications and Papers [in Russian], Gomel' (1968), pp. 54–65.Google Scholar
  2. 2.
    A. V. Kuznetsov, “Certain properties of the lattice of varieties of pseudo-Boolean algebras,” in: 11th All-Union Algebraic Colloquium, Resume of Communications and Papers [in Russian], Kishinev (1971), pp. 255–256.Google Scholar
  3. 3.
    L. L. Maksimova, “Quasifinite superintuitionist logics,” in: 11th All-Union Colloquium, Resume of Communications and Papers [in Russian], Kishinev (1971), pp. 258–259.Google Scholar
  4. 4.
    V. A. Yankov, “On certain superconstructive predictate calculi,” Dokl. Akad. Nauk SSSR,151, 796–798 (1963).MATHMathSciNetGoogle Scholar
  5. 5.
    R. A. Bull, “Some results for implicational calculi,” J. Symb. Logic,29, 33–39 (1964).MATHMathSciNetGoogle Scholar
  6. 6.
    M. Dummett, “A propositional calculus with denumerable matrix,” J. Symb. Logic,24, 97–106 (1959).MATHMathSciNetGoogle Scholar
  7. 7.
    J. M. Dunn and R. K. Meyer, “Algebraic completeness results for Dummett's LC and its extensions,” Zeitschr. math. Log. und Grundl. Math.,17, 225–230 (1971).MathSciNetGoogle Scholar
  8. 8.
    T. Hosoi, “On intermediate logics. I,” J. Fac. Sci. Univ. Tokyo, Sec. IA,14, 293–312 (1967).MathSciNetGoogle Scholar
  9. 9.
    T. Hosoi and H. Ono, “The intermediate logics on the second slice,” J. Fac. Sci. Univ. Tokyo, Sec. IA,17, 457–461 (1970).MathSciNetGoogle Scholar

Copyright information

© Consultants Bureau, a division of Plenum Publishing Corporation 1974

Authors and Affiliations

  • L. L. Maksimova

There are no affiliations available

Personalised recommendations