Geodesic
Independent bases for admissible rules of pretabular modal logic and its extensions
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 10 (2013), pp. 79-89 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We obtain independent bases for admissible inference rules of pretabular modal logics PT2, PT3 and all its extensions. Also we describe such bases for global admissible rules of logics PT2, PT3.
Keywords: (pretabular) modal logic, frame (model) Kripke, admissible inference rule, basуs for admissible rules. 
@article{SEMR_2013_10_a5,
     author = {V. V. Rimatskii and V. R. Kiyatkin},
     title = {Independent bases for admissible rules of pretabular modal logic and its extensions},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {79--89},
     year = {2013},
     volume = {10},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/}
}
TY  - JOUR
AU  - V. V. Rimatskii
AU  - V. R. Kiyatkin
TI  - Independent bases for admissible rules of pretabular modal logic and its extensions
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2013
SP  - 79
EP  - 89
VL  - 10
UR  - http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/
LA  - ru
ID  - SEMR_2013_10_a5
ER  - 
%0 Journal Article
%A V. V. Rimatskii
%A V. R. Kiyatkin
%T Independent bases for admissible rules of pretabular modal logic and its extensions
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2013
%P 79-89
%V 10
%U http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/
%G ru
%F SEMR_2013_10_a5
V. V. Rimatskii; V. R. Kiyatkin. Independent bases for admissible rules of pretabular modal logic and its extensions. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 10 (2013), pp. 79-89. http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/

[1] V. V. Rybakov, Admissibility of logical inference rules, Studies in Logic and the Foundations of Mathematics, 136, Elsevier Sci. Publ., New-York–Amsterdam, 1997 | DOI | MR | Zbl

[2] V. V. Rybakov, M. Terziler, V. V. Remazki, “Basis in Semi-Redused Form for the Admissible Rules of the Intuitionistc Logic IPC”, Mathematical Logic Quarterly, 46:2 (2000), 207–218 | 3.0.CO;2-E class='badge bg-secondary rounded-pill ref-badge extid-badge'>DOI | MR | Zbl

[3] V. V. Rybakov, “Construction of an Explicit Basis for Rules admissible in Modal system S4”, Mathematical Logic Quarterly, 47:4 (2001), 441–451 | 3.0.CO;2-J class='badge bg-secondary rounded-pill ref-badge extid-badge'>DOI | MR

[4] R. Iemhoff, “On the admissible rules of Intuitionistic Propositional Logic”, Journal of Symbolic Logic, 66:2 (2001), 281–294 | DOI | MR | Zbl

[5] E. Jeřábek, “Admissible rules of modal logics”, Journal of Logic and Computation, 15:4 (2005), 411–431 | DOI | MR

[6] E. Jeřábek, “Independent bases of admissible rules”, Logic Journal of the IGPL, 16:3 (2008), 249–267 | DOI | MR

[7] V. V. Rimatskii, “Yavnyi bazis dopustimykh pravil vyvoda logik konechnoi shiriny”, Zhurnal SFU. Ser. matematika i fizika, 1 (2008), 85–93

[8] V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Nezavisimyi bazis dlya dopustimykh pravil v predtablichnykh logikakh”, Algebra i logika, 39:2 (2000), 119–130 | MR | Zbl

[9] Maksimova L. L., “Predtablichnye rasshireniya sistemy Lyuisa $S4$”, Algebra i logika, 14:1 (1975), 28–55 | MR | MR | Zbl

[10] Rybakov V. V., Gencer G., Oner T., “Description of modal logics inheiting admissible rules for S4”, Logic J. of IGPL, 7:5 (1999), 655–663 | DOI | MR

[11] V. V. Rybakov, “Kriterii dopustimosti pravil vyvoda v modalnoi sisteme $S4$ i intuitsionistskoi logiki $H$”, Algebra i logika, 23:5 (1984), 369–384 | MR | Zbl

[12] Rutskii A. N., Fedorishin B. R., “Kriterii nasledovaniya dopustimykh pravil vyvoda K4”, Sibirskii matematicheskii zhurnal, 43:6 (2002), 1350–1361 | MR

[13] Rimatski V. V., Rybakov V. V., “A note on globally admissible Inference rules for modal and superintuitionistic logics”, Bulletin of the Section of Logic, 34:2 (2005), 93–99 | MR

[14] Rimatskii V. V., “Tablichno dopustimye pravila vyvoda”, Algebra i logika, 48:3 (2009), 400–414 | MR | Zbl