RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1990
Volume 312,
Number 1,
Pages
42–45
(Mi dan6641)
MATHEMATICS
Admissibility of inference rules with parameters in intuitionistic logic, and intuitionistic Kripke models
V. V. Rybakov
Krasnoyarsk State University
UDC:
517.11+519.48
Presented:
M. M. Lavrent'ev
Received: 15.02.1989
Fulltext:
PDF file (265 kB)
English version:
Doklady Mathematics, 1990,
41
:3,
421–424
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (265 kB)