Skip to main content
SpringerLink
Log in

Embeddings of implicative lattices and superintuitionistic logics

  • Published:
Algebra and Logic 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. V. Ya. Gerchiu, "On finite approximability of superintuitionistic logics," Mat. Issled.,7, No. 1, 186–192 (1972).

    Google Scholar 

  2. A. V. Kuznetsov, "On finitely generated pseudoboolean algebras and finitely approximable varieties," in: The 12th All-Union Alg. Colloquium, Part 2 [in Russian], Sverdlovsk (1973), p. 281.

  3. L. L. Maksimova, "Pretabular superintuitionistic logics," Algebra Logika11, No. 5, 558–570 (1972).

    Google Scholar 

  4. S. I. Mardaev, "On finitely generated implicative lattices," in: The 18th All-Union Alg. Conf., Part 2 [in Russian], Kishinev (1985), p. 13.

  5. S. I. Mardaev, "On the number of prelocally tabular superintuitionistic propositional logics," Algebra Logika23, No. 1, 74–87 (1984).

    Google Scholar 

  6. E. Rasiowa and R. Sikorski, Mathematics of Mathematics [Russian translation], Nauka, Moscow (1972).

    Google Scholar 

  7. A. I. Tsitkin, "An example of a prelocally tabular superintuitionistic propositional logic," in: Logic and Foundations of Mathematics [in Russian], Vilnius (1982), pp. 97–99.

  8. K. Jacobs, "Machine-generated 0-1-sequences," in: Turing Machines and Recursive Functions [Russian translation], Mir, Moscow (1972).

    Google Scholar 

  9. V. A. Yankov, "On the calculus of the weak excluded middle law," Izv. Akad. SSSR, Ser. Mat.,32, No. 5, 1044–1051 (1968).

    Google Scholar 

  10. V. A. Yankov, "On the connection between inference in the intuitionistic calculus of propositions and finite implicative structures," DAN SSSR,151, No. 6, 1293–1294 (1963).

    Google Scholar 

  11. W. J. Blok, "The free closure algebra on finitely many generators," Indag. Math.,39, No. 5, 362–379 (1977).

    Google Scholar 

  12. B. Jonsson, "Algebras whose congruence lattices are distributive," Math. Scand.,21, No. 1, 110–121 (1967).

    Google Scholar 

  13. P. Köhler, "Varieties of Brouwerian algebras," Mitteil. Math. Seminar Giessen, No. 116 (1975).

  14. J. C. C. McKinsey and A. Tarski, "On closed elements in closure algebras," Ann. Math.,47, No. 1, 122–162 (1946).

    Google Scholar 

  15. J. C. C. McKinsey and A. Tarski, "The algebra of topology," Ann. Math.,45, No. 1, 141–191 (1944).

    Google Scholar 

Download references

Authors
  1. S. I. Mardaev
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Algebra i Logika, Vol. 26, No. 3, pp. 318–357, May–June, 1987.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mardaev, S.I. Embeddings of implicative lattices and superintuitionistic logics. Algebra and Logic 26, 178–205 (1987). https://doi.org/10.1007/BF02009330

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation