Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
6.01.1951
Телефон: 8-(391)206-21-48
Факс: 8-(391)206-21-48
E-mail: , , ,
Сайт: https://math.sfu-kras.ru/node/303 Ключевые слова: математическая логика модальные логики временные логики информатика универсальная алгебра интуиционистские и паранепротиворечивые логики представление знаний верификация информации.
Коды УДК: 510.6, 512, 517.11, 519.48, 510.643
Основные темы научной работы:
математическая логика
модальные логики
временные логики
информатика
универсальная алгебра
интуиционистские и паранепротиворечивые логики
представление знаний
верификация информации
Основные публикации:
V. V. Rybakov, Admissibility of Logical Inference Rules, Studies in Logic and Foundations of Mathematics, 136, Elsevier, P.O. Box 211, 1000 AE Amsterdam, The Netherlands, 1997