1. Признак наследования допустимых правил вывода для некоторых классов транзитивных модальных и суперинтуиционистских логик : препринт [препринт]
   Руцкий А. Н.
   2002
   присутствует в РИНЦ (eLIBRARY.RU)
2. Построение явного базиса для правил вывода, допустимых в модальной логике К4 : препринт [препринт]
   Руцкий А. Н.
   2002
   присутствует в РИНЦ (eLIBRARY.RU)
3. Критерий наследования допустимых правил вывода для модальной логики К4 : препринт [препринт]
   Руцкий А. Н., Федоришин Б. Р.
   2002
   присутствует в РИНЦ (eLIBRARY.RU)
4. An inheritance criterion for the admissible inference rules of K4 [статья из журнала]
   Rutskii A. N., Fedorishin B. R.
   2002, Siberian Mathematical Journal
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК

Список публикаций автора сформирован в автоматическом режиме. Сообщите, если заметили неточности. Если это ваши публикации, то вы можете войти на сайт под своей учётной записью с помощью формы вверху страницу и отредактировать список публикаций самостоятельно.

Справка для редакторов сайтов и программистов об экспорте списка публикаций на сторонние сайты.