Literature cited
N. D. Belnap, H. Leblanc, and R. H. Thomason, “On not strengthening intuitionistic logic,” Notre Dame J. Formal Logic,4, No. 4, 313–320 (1963).
G. Kreisel and H. Putnam, “Eine Unableitbarkeitsbeweismethode fur den intuitionistischen Aussa-gankalkül,” Arch. Math. Logik Grundlagenforsch.,3, Nos. 3–4, 74–78 (1957).
W. A. Pogorzelski, “Structural completeness of the propositional calculus,” Bull. Acad. Polon. Sci. Ser. Sci. Math.,19, No. 5, 349–351 (1971).
G. Gentzen, “Untersuchungen über das logische Schliessen,” Math. Z.,39, 176–210; 405–443 (1934).
G. E. Mints, “On the semantics of modal logic,” in: Seminars in Mathematics, Vol. 16, Consultants Bureau, New York-London (1971), pp. 74–76.
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 32, pp. 85–89, 1972.
Rights and permissions
About this article
Cite this article
Mints, G.E. Derivability of admissible rules. J Math Sci 6, 417–421 (1976). https://doi.org/10.1007/BF01084082
Issue Date:
DOI: https://doi.org/10.1007/BF01084082