|
|
|
|
References
|
|
| |
| 1. |
Lorenzen P., Einfung in Operative Logik und Mathematik, Berlin–Göttingen–Heidelberg, 1955, 816 pp.  |
| 2. |
Friedman H., “One hundred and two problems in mathematical logic”, J. Symb. Logic, 40:3 (1975), 113–130  |
| 3. |
Rybakov V.V., “Kriterii dopustimosti pravil vyvoda v modalnoi sisteme $S4$ i intuitsionistskoi logike $H$”, Algebra i logika, 23:5 (1984), 369–384  |
| 4. |
Rybakov V.V., Admissibility of Logical Inference Rules, Studies in Logic and Found. of Math., 136, Elsevier Sci. Publ., New-York–Amsterdam, 1997, 616 pp. |
| 5. |
Rimatskii V.V., “Bazisy dopustimykh pravil vyvoda tablichnykh modalnykh logik glubiny 2”, Algebra i logika, 35:5 (1996), 612–622  |
| 6. |
Rimatskii V.V., “Bazisy dopustimykh pravil $K$-nasyschennykh logik”, Algebra i logika, 47:6 (2008), 750–761 |
| 7. |
Rimatskii V.V., Lukina O. V., “Yavnyi bazis dopustimykh pravil vyvoda tablichnoi logiki”, Vestnik Krasnoyarsk. gos. un-ta, 2006, no. 1, 68–71 |
| 8. |
Rimatskii V.V., “O konechnoi baziruemosti po dopustimosti modalnykh logik shiriny 2”, Algebra i logika, 38:4 (1999), 436–455 |
| 9. |
Rimatskii V.V., Kiyatkin V.R., “Nezavisimyi bazis dopustimykh pravil vyvoda predtablichnykh logik i ikh rasshirenii”, Sib. elektron. matem. izv., 10 (2003), 79–89 |
| 10. |
Rybakov V.V., Terziler M., Rimatskiy V.V., “Basis in semi-redused form for the admissible rules of the intuitionistic logic IPC”, Math. Logic Quarterly, 46:2 (2000), 207–218 |
| 11. |
Iemhoff R., “On the admissible rules of intuitionistic propositional logic”, J. Symb. Logic, 66:2 (2001), 281–294 |
| 12. |
Rybakov V.V., “Construction of an explicit basis for rules admissible in modal system S4”, Math. Logic Quarterly, 47:4 (2001), 441–451 |
| 13. |
Rimatskii V.V., “Yavnyi bazis dopustimykh pravil vyvoda logik konechnoi shiriny”, Zhurnal SFU, Ser. matem. i fizika, 2008, no. 1, 85–93 |
| 14. |
Rybakov V.V., Terziler M., Genzer C., “An essay on unification and inference rules for modal logic”, Bull. Sect. Log., 28:3 (1999), 145–157 |
