RUS  ENG
Полная версия
ПЕРСОНАЛИИ
Рыбаков Владимир Владимирович
профессор
доктор физико-математических наук (1987)

Специальность ВАК: 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

Основные темы научной работы:

математическая логика модальные логики временные логики информатика универсальная алгебра интуиционистские и паранепротиворечивые логики представление знаний верификация информации


Основные публикации:
  1. 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

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

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

Персональные страницы:

Организации:


© МИАН, 2024