an:01275098 Zbl 0956.03024 Rybakov, V.; Kiyatkin, V.; Terziler, M. Independent bases for rules admissible in pretabular logics EN Log. J. IGPL 7, No. 2, 253-266 (1999). 1367-0751 1368-9894 1999
j
03B45 03B55 03C15 modal logic; superintuitionistic logic; Kripke model; inference rule; admissible rule; independent rules; quasivariety Study of independence of admissible rules in modal and intermediate logics (or, equivalently, of independent axiomatization for quasivarieties of modal and Heyting algebras) is an interesting problem, of which little is known yet. The problem is non-trivial since there exist tabular modal logics without independent bases for admissibility , whereas many well-known logics do have such bases [see \textit{V. V. Rybakov}, Admissibility of logical inference rules (Stud. Logic Found. Math. 136, Elsevier Publ., Amsterdam, New York) (1997; Zbl 0872.03002)]. The paper considers this problem for those intermediate and modal logics above S4 which are pretabular (recall that a logic is tabular iff it is determined by a single finite algebra, and pretabular iff it is maximal among non-tabular logics). By the results of Maksimova, Esakia and Meskhi [cf. \textit{A. V. Chagrov} and \textit{M. V. Zakharyaschev}, Modal logic (Oxford University Press) (1997; Zbl 0871.03007)], it is known that there exist exactly three pretabular intermediate logics and exactly five pretabular S4-logics, and Rybakov [loc. cit.] showed that among them only one intermediate and three modal logics have finite bases for admissibility. The paper constructs infinite independent bases of admissible rules for the remaining four logics. V.Shekhtman (Moskva) 0872.03002; 0871.03007