Руцкий Алексей Николаевич

Публикации в базе данных Math-Net.Ru

1. Критерий допустимости правил вывода с метапеременными в модальной логике $S4.\alpha_N$
   
   Сиб. матем. журн., 48:2 (2007),  396–407
2. Критерий наследования допустимых правил вывода $K4$
   
   Сиб. матем. журн., 43:6 (2002),  1350–1361