Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. V. V. Rybakov, “Admissible rules for pretable modal logics,”Algebra Logika, 20, No. 4, 404–464 (1981).
2. V. V. Rybakov, “Bases of admissible rules for logicsS4 andInt,”Algebra Logika, 24, No. 1, 87–107 (1985).
3. A. I. Citkin, “Admissible rules of intuitionistic propositional logic,”Mat. Sb., 102, No. 2, 314–323 (1977).
4. V. V. Rybakov, “A criterion for admissibility of rules in the modal systemS4 and the intuitionistic logic,”Algebra Logika, 23, No. 5, 546–572 (1984).
5. A. I. Mal'tsev,Algebraic Systems [in Russian], Nauka, Moscow (1970).