Matematičeskie zametki, Tome 50 (1991) no. 1, pp. 84-91
Citer cet article
V. V. Rybakov. Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$. Matematičeskie zametki, Tome 50 (1991) no. 1, pp. 84-91. http://geodesic.mathdoc.fr/item/MZM_1991_50_1_a9/
@article{MZM_1991_50_1_a9,
author = {V. V. Rybakov},
title = {Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$},
journal = {Matemati\v{c}eskie zametki},
pages = {84--91},
year = {1991},
volume = {50},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1991_50_1_a9/}
}
TY - JOUR
AU - V. V. Rybakov
TI - Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$
JO - Matematičeskie zametki
PY - 1991
SP - 84
EP - 91
VL - 50
IS - 1
UR - http://geodesic.mathdoc.fr/item/MZM_1991_50_1_a9/
LA - ru
ID - MZM_1991_50_1_a9
ER -
%0 Journal Article
%A V. V. Rybakov
%T Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$
%J Matematičeskie zametki
%D 1991
%P 84-91
%V 50
%N 1
%U http://geodesic.mathdoc.fr/item/MZM_1991_50_1_a9/
%G ru
%F MZM_1991_50_1_a9
