Literature cited
Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
L. L. Maksimova, "Modal logics of finite layers," Algebra Logika,14, No. 3, 304–319 (1975).
L. L. Maksimova and V. V. Rybakov, "The lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
V. V. Rybakov, "Admissible rules for pretable modal logics," Algebra Logika,20, No. 4, 440–464 (1981).
A. I. Tsitkin, "Admissible rules for the intuitionistic predicate logic," Mat. Sb.,102, No. 2, 289–301 (1977).
T. Hosoi, "On intermediate logics. I", J. Fac. Sci. Univ. Tokyo,I, No. 14, 293–312 (1967).
Additional information
Translated from Algebra i Logika, Vol. 23, No. 1, pp. 100–116, January–February, 1984.
Rights and permissions
About this article
Cite this article
Rybakov, V.V. Decidability of the admissibility problem in layer-finite logics. Algebra and Logic 23, 75–87 (1984). https://doi.org/10.1007/BF01979701
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01979701