Geodesic
Explicit basis for admissible rules in $K$-saturated tabular logics
Diskretnaya Matematika, Tome 34 (2022) no. 1, pp. 126-140

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

We construct an explicit finite basis for admissible rules in $K$-saturated tabular logics that extend the logic $Grz$.
Keywords: Kripke frame (model), admissible inference rule, basis admissible rules. 
@article{DM_2022_34_1_a8,
     author = {V. V. Rimatskii},
     title = {Explicit basis for admissible rules in $K$-saturated tabular logics},
     journal = {Diskretnaya Matematika},
     pages = {126--140},
     publisher = {mathdoc},
     volume = {34},
     number = {1},
     year = {2022},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2022_34_1_a8/}
}
TY  - JOUR
AU  - V. V. Rimatskii
TI  - Explicit basis for admissible rules in $K$-saturated tabular logics
JO  - Diskretnaya Matematika
PY  - 2022
SP  - 126
EP  - 140
VL  - 34
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2022_34_1_a8/
LA  - ru
ID  - DM_2022_34_1_a8
ER  - 
%0 Journal Article
%A V. V. Rimatskii
%T Explicit basis for admissible rules in $K$-saturated tabular logics
%J Diskretnaya Matematika
%D 2022
%P 126-140
%V 34
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2022_34_1_a8/
%G ru
%F DM_2022_34_1_a8
V. V. Rimatskii. Explicit basis for admissible rules in $K$-saturated tabular logics. Diskretnaya Matematika, Tome 34 (2022) no. 1, pp. 126-140. http://geodesic.mathdoc.fr/item/DM_2022_34_1_a8/