Geodesic
Criterion of global admissibility for logic $\mathrm{IPC}$
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 16 (2023) no. 5, pp. 620-627.

Voir la notice de l'article provenant de la source Math-Net.Ru

We describe globally admissible inference rules for logic $\mathrm {IPC}$.
Keywords: modal logic, frame and model Kripke, admissible and globally admissible inference rule. 
@article{JSFU_2023_16_5_a7,
     author = {Vitaliy V. Rimatskiy},
     title = {Criterion of global admissibility for logic $\mathrm{IPC}$},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {620--627},
     publisher = {mathdoc},
     volume = {16},
     number = {5},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2023_16_5_a7/}
}
TY  - JOUR
AU  - Vitaliy V. Rimatskiy
TI  - Criterion of global admissibility for logic $\mathrm{IPC}$
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2023
SP  - 620
EP  - 627
VL  - 16
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2023_16_5_a7/
LA  - en
ID  - JSFU_2023_16_5_a7
ER  - 
%0 Journal Article
%A Vitaliy V. Rimatskiy
%T Criterion of global admissibility for logic $\mathrm{IPC}$
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2023
%P 620-627
%V 16
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2023_16_5_a7/
%G en
%F JSFU_2023_16_5_a7
Vitaliy V. Rimatskiy. Criterion of global admissibility for logic $\mathrm{IPC}$. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 16 (2023) no. 5, pp. 620-627. http://geodesic.mathdoc.fr/item/JSFU_2023_16_5_a7/

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

[2] V.V.Rybakov, “Basis for admissible rules for logic $S4$ and $H$”, Algebra i Logika, 24:4 (1985), 55–68 (in Russian) | 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] V.V.Rimatskiy, “Explicit basis for admissible rules in K-saturated tabular logics”, Discrete Mathematics, 34:1 (2022), 126–140 | DOI | MR

[5] V.V.Rimatskiy, “An Explicit Basis for Admissible Rules of Modal Logics of Finite Width”, Journal of Siberian Federal University. Mathematics $\$ Physics, 1 (2008), 85–93 (in Russian)

[6] V.V.Rimatskiy, “Admissible Inference Rules and Semantic Property of Modal Logics”, The Bulletin of Irkutsk State University. Series Mathematics, 37 (2021), 104–117 (in Russian) | DOI | MR

[7] R.Iemhoff, “A(nother) characterization of Intuitionistic Propositional Logic”, Annals of Pure and Applied Logic, 113:1-3 (2001), 161–173 | DOI | MR

[8] V.V.Rybakov, V.V.Rimatskiy, “A note on Globally admissible inference rules for modal and superintuitionistic logics”, Bulletin of the Section of Logic, 34:2 (2005), 1–7 | MR

[9] V.V.Rimatskiy, “Table admissible inference rules”, Algebra and Logic, 48:2009, 400–414 | DOI | MR | Zbl

[10] V.V.Rimatskiy, V.R.Kiyatkin, “Independent bases for admissible rules of pretabular modal logic and its extensions”, Siberian Electronic Mathematical Reports, 10 (2013), 79–89 (in Russian) | MR

[11] V.V.Rimatskiy, “Globally Admissible Inference Rules”, The Bulletin of Irkutsk State University. Series Mathematics, 42:39 (2022), 138–140 | DOI | MR

[12] V.V.Rybakov, M.Terziler, V.V.Remazki, “Bases in semi-Reduced form for admisseble rules of Intuitionistic logic IPC”, Mathimatical Logic Quaterly, 46:2 (2000), 207–218 | 3.0.CO;2-E class='badge bg-secondary rounded-pill ref-badge extid-badge'>DOI | MR | Zbl