Advertisement

Springer Nature is making Coronavirus research free. View research | View latest news | Sign up for updates

Semantic admissibility criteria for deduction rules in S4 and Int

  • 38 Accesses

This is a preview of subscription content, log in to check access.

Literature cited

  1. 1.

    V. V. Rybakov, “Admissibility criterion for rules in the modal system S4 and in intuitionistic logic,” Algebra Logika,23, No. 5, 546–572 (1984).

  2. 2.

    V. V. Rybakov, “Solvability on the basis of admissibility of the model system Grr and intuitionistic logic,” Izv. Akad. Nauk SSSR, Ser. Mat.,50, No. 3, 598–616 (1986).

  3. 3.

    V. V. Rybakov, “Equations in free Boolean topos algebra,” Algebra Logika,25, No. 2, 172–204 (1986).

  4. 4.

    E. Lemmon, “Algebraic semantics for modal logics,” in: Semantics of Modal and Intentional Logics [in Russian], Progress, Moscow (1981), pp. 98–165.

  5. 5.

    K. Schutte, “Complete systems of modal and intuitionistic logic,” in: R. Feis, Modal Logic [Russian translation], Nauka, Moscow (1974), pp. 324–421.

  6. 6.

    V. B. Shekhtman, “Rieger-Nishimura ladder,” Dokl. Akad. Nauk SSSR,241, 1288–1291 (1978).

  7. 7.

    V. V. Rybakov, “Bases of admissible rules of the modal system S4 and intuitionistic logic,” Mat. Sb.,128. No. 3, 321–329 (1985).

  8. 8.

    S. Kleene, Introduction to Metamathematics [Russian translation], IL, Moscow (1957).

Download references

Author information

Additional information

Translated from Matematicheskie Zametki, Vol. 50, No. 1, pp. 84–91, July, 1991.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Rybakov, V.V. Semantic admissibility criteria for deduction rules in S4 and Int. Mathematical Notes of the Academy of Sciences of the USSR 50, 714–718 (1991). https://doi.org/10.1007/BF01156607

Download citation

Keywords

  • Deduction Rule
  • Admissibility Criterion
  • Semantic Admissibility