Skip to main content
SpringerLink
Log in

A criterion for admissibility of rules in the model system S4 and the intuitionistic logic

  • 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. G. E. Mints, "Admissible and arbitrary rules," Zap. Nauchn. Sem. LOMI Akad. Nauk SSSR,8, 189–191 (1968).

    Google Scholar 

  2. G. E. Mints, "Arbitrariness of admissible rules," J. Sov. Math.,6, No. 4 (1976).

  3. V. V. Rybakov, "Admissible rules of pretable modal logics," Algebra Logika,20, No. 4, 440–464 (1981).

    Google Scholar 

  4. V. V. Rybakov, "The decidability of the admissibility problem in extensions of the logic S4.3," Sixth All-Union Conf. of Math. Logic, Lecture Theses, Tbilisi (1982), p. 158.

  5. V. V. Rybakov, "The decidability of the admissibility problem in finite-layer modal logics," Algebra Logika,23, No. 1, 100–116 (1984).

    Google Scholar 

  6. V. V. Rybakov, "Elementary theories of free closure algebras," Sixteenth All-Union Conf. on Algebra, Lecture Theses, Leningrad (1981), p. 116.

  7. A. I. Tsitkin, "On admissible rules in the intuitionistic propositional logic," Mat. Sb.,102, No. 2, 314–323 (1977).

    Google Scholar 

  8. A. I. Tsitkin, "On structurally complete superintuitionistic logics," Dokl. Akad. Nauk SSSR,241, No. 1, 40–43 (1978).

    Google Scholar 

  9. H. Freedman, "A hundred and two problems in mathematical logic," J. Symb. Logic,40, No. 2, 113–130 (1975).

    Google Scholar 

  10. R. Harrop, "Concerning formulas of the types A→BVC, A→∃×B(x) in intuitionistic formal systems," J. Symb. Logic,25, No. 1, 27–32 (1960).

    Google Scholar 

  11. J. Port, "The deducibilities of S5," J. Philos. Logic,10, 409–422 (1981).

    Article  Google Scholar 

  12. K. Segerberg, "An essay in classical modal logic," University of Uppsala, Uppsala (1971).

    Google Scholar 

Download references

Authors
  1. V. V. Rybakov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Algebra i Logika, Vol. 23, No. 5, pp. 546–572, September–October, 1984.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rybakov, V.V. A criterion for admissibility of rules in the model system S4 and the intuitionistic logic. Algebra and Logic 23, 369–384 (1984). https://doi.org/10.1007/BF01982031

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation