We construct an explicit finite basis for admissible inference rules in an arbitrary modal logic of width 2 extending the logic Grz.
Similar content being viewed by others
References
P. Lorenzen, Einführung in die Operative Logik und Mathematik, Springer, Berlin (1955).
H. Friedman, “One hundred and two problems in mathematical logic,” J. Symb. Log., 40, No. 3, 113–129 (1975).
V. V. Rybakov, Admissibility of Logical Inference Rules, Stud. Log. Found. Math., 136, Elsevier, Amsterdam (1997).
S. Ghilardi, “Unification in intuitionistic logic,” J. Symb. Log., 64, No. 2, 859–880 (1999).
A. I. Citkin, “Admissible rules of intuitionistic propositional logic,” Mat. Sb., 102(144), No. 2, 314–323 (1977).
V. V. Rybakov, “Bases of admissible rules for logics S4 and Int,” Algebra Logika, 24, No. 1, 87–107 (1985).
V. V. Rybakov, “Bases of admissible rules for the modal system Grz and the intuitionistic logic,” Mat. Sb., 128(170), No. 3(11), 321–338 (1985).
V. V. Rimatskii, “Bases of admissible inference rules for table modal logics of depth 2,” Algebra Logika, 35, No. 5, 612–622 (1996).
V. V. Rimatskii, “Finite bases with respect to admissibility for modal logics of width 2,” Algebra Logika, 38, No. 4, 436–455 (1999).
V. V. Rybakov, M. Terziler, and V. Rimazki, “Bases in semi-reduced form for admissible rules of the intuitionistic logic IPC,”Math. Log. Q., 46, No. 2, 207–218 (2000).
R. Iemhoff, “On the admissible rules of intuitionistic propositional logic,” J. Symb. Log., 66, No. 2, 281–294 (2001).
R. Iemhoff, “A(nother) characterization of intuitionistic propositional logic,” Ann. Pure Appl. Log., 113, Nos. 1–3, 161–173 (2002).
V. V. Rybakov, “An explicit basis for rules admissible in modal system S4,” Bull. Sect. Log., Univ. Lodz, Dep. Log., 28, No. 3, 135–143 (1999).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 48, No. 1, pp. 122–148, January–February, 2009.
Rights and permissions
About this article
Cite this article
Rimatskii, V.V. An explicit basis for admissible inference rules in table modal logics of width 2. Algebra Logic 48, 72–86 (2009). https://doi.org/10.1007/s10469-009-9041-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-009-9041-5