1. Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]
   Rybakov Vladimir V., Kiyatkin Vladimir R., Grekovich Konstantin V.
   2023, Известия Иркутского государственного университета. Серия: Математика
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
2. Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Rybakov V. V., Kiyatkin V. R., Grekovich K. V.
   2022
   присутствует в РИНЦ (eLIBRARY.RU)
3. Satisfiability in a Temporal Multi-valueted Logic Based on Z [статья из журнала]
   Kiyatkin V. R., Kosheleva A. V.
   2022, Journal of Siberian Federal University - Mathematics and Physics
   присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
4. Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Кияткин В. Р., Кошелева А. В.
   2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
   присутствует в РИНЦ (eLIBRARY.RU)
5. НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
   Римацкий Виталий Валентинович, Кияткин Владимир Ростиславович
   2013, Сибирские электронные математические известия
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
6. Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]
   Rybakov V. V., Kiyatkin V. R., Oner T.
   2001, Algebra and Logic
   присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
7. Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]
   Rybakov V. V., Kiyatkin V. R., Terziler M.
   2000, Algebra and Logic
   присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
8. On finite model property for admissible rules [статья из журнала]
   Rybakov V. V., Kiyatkin V. R., Mathematics Department, Science Faculty, Ege University, Bornova-Izmir, 35100, Turkey T.
   1999, MATHEMATICAL LOGIC QUARTERLY
   присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
9. Нестандартные логические системы и правила вывода [отчёт о НИР]
   Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
   1996
   присутствует в РИНЦ (eLIBRARY.RU)

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

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