RUS
ENG
Full version
JOURNALS
// Sibirskii Matematicheskii Zhurnal
// Archive
Sibirsk. Mat. Zh.,
1991
Volume 32,
Number 2,
Pages
140–153
(Mi smj4618)
This article is cited in
3
papers
Decidability of logical equations in the modal system
$\operatorname{Grz}$
and in intuitionistic logic
V. V. Rybakov
UDC:
517.11+519.48
Received:
09.11.1988
Fulltext:
PDF file (3125 kB)
Cited by
English version:
Siberian Mathematical Journal, 1991,
32
:2,
297–308
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (3125 kB)
