Публикации: Кияткин Владимир Ростиславович

Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]
Rybakov Vladimir V., Kiyatkin Vladimir R., Grekovich Konstantin V.
2023, Известия Иркутского государственного университета. Серия: Математика
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
Rybakov V. V., Kiyatkin V. R., Grekovich K. V.
2022
присутствует в РИНЦ (eLIBRARY.RU)
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)
Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
Кияткин В. Р., Кошелева А. В.
2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
присутствует в РИНЦ (eLIBRARY.RU)
НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
Римацкий Виталий Валентинович, Кияткин Владимир Ростиславович
2013, Сибирские электронные математические известия
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]
Rybakov V. V., Kiyatkin V. R., Oner T.
2001, Algebra and Logic
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
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), Список ВАК
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)
Нестандартные логические системы и правила вывода [отчёт о НИР]
Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
1996
присутствует в РИНЦ (eLIBRARY.RU)

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.