This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
V. V. Rybakov, “Admissibility criterion for rules in the modal system S4 and in intuitionistic logic,” Algebra Logika,23, No. 5, 546–572 (1984).
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).
V. V. Rybakov, “Equations in free Boolean topos algebra,” Algebra Logika,25, No. 2, 172–204 (1986).
E. Lemmon, “Algebraic semantics for modal logics,” in: Semantics of Modal and Intentional Logics [in Russian], Progress, Moscow (1981), pp. 98–165.
K. Schutte, “Complete systems of modal and intuitionistic logic,” in: R. Feis, Modal Logic [Russian translation], Nauka, Moscow (1974), pp. 324–421.
V. B. Shekhtman, “Rieger-Nishimura ladder,” Dokl. Akad. Nauk SSSR,241, 1288–1291 (1978).
V. V. Rybakov, “Bases of admissible rules of the modal system S4 and intuitionistic logic,” Mat. Sb.,128. No. 3, 321–329 (1985).
S. Kleene, Introduction to Metamathematics [Russian translation], IL, Moscow (1957).
Translated from Matematicheskie Zametki, Vol. 50, No. 1, pp. 84–91, July, 1991.
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
- Deduction Rule
- Admissibility Criterion
- Semantic Admissibility