|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2007 |
| 1. |
А. Н. Руцкий, “Критерий допустимости правил вывода с метапеременными в модальной логике
$S4.\alpha_N$”, Сиб. матем. журн., 48:2 (2007), 396–407    ; A. N. Rutskii, “An admissibility criterion for inference rules with metavariables in the modal logic $S4.\alpha_N$”, Siberian Math. J., 48:2 (2007), 317–326   |
1
|
|
2002 |
| 2. |
А. Н. Руцкий, Б. Р. Федоришин, “Критерий наследования допустимых правил вывода $K4$”, Сиб. матем. журн., 43:6 (2002), 1350–1361 ; A. N. Rutskii, B. R. Fedorishin, “An inheritance criterion for the admissible inference rules of $K4$”, Siberian Math. J., 43:6 (2002), 1094–1102 |
3
|
|
Обратная связь: