Тверской государственный университет


Карта сайтаВерсия для слабовидящих

Контактная информация

170100, Россия,
Тверь, ул. Желябова, 33

Подробнее...

Главная страница  

Заведующий кафедрой алгебры и математической логики

Чагров Александр Васильевич

доктор физико-математических наук, профессор

Образование:
КГУ

Телефон:
(4822) 58-53-20 (доб. 114)

E-mail:
 

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

Им создана научная школа в области математической логики и теории алгоритмов, центральным направлением которой является исследование семантических и алгоритмических свойств неклассических логик. В настоящее время в эти школы входят преподаватели кафедры алгебры и математической логики: доцент, кандидат физико-математических наук Чагрова Л. А., доцент кафедры, кандидат физико-математических наук Рыбаков М. Н., доцент кафедры Горбунов И. А.

В 1997 году профессор Чагров А. В. в соавторстве с профессором Захарьящевым М. В. опубликовал монографию [A. Chagrov, M. Zakharyaschev. Modal Logic. Oxford University Press, 1997, 605 р.].

Сотрудник следующей кафедры

Список основных публикаций

  1. Чагров А.В. Разрешимая модальная логика с неразрешимой проблемой допустимости правил вывода //Алгебра и логика. 1992. N. 31. С. 83-93.
  2. Чагров А.В. Континуальность множества максимальных суперинтуционистских логик со свойством дизъюнктивности // Мат. заметки. 1992. Т. 51. Вып. 2. С. 117-123.
  3. Чагров А.В. О рекурсивной аппроксимируемости модальных и суперинтуиционистских логик // Алгебраические и логические конструкции. Тверь, 1994. С. 91-97.
  4. A.V. Chaqrov A First-Order Effect and Modal Propositional Formulas Cantini, E.Casari, P. Minary (Eds) // Loqic and Foundation of Mathematics. Selected Contributed Papers of the Tenth International Conqress of Loqic, Me-thodoloqy and Philosophy of Science. Florence. 1995. Kluwer Academik Publishers, 1999, P. 209-218.
  5. Чагров А.В. Строго импликативные формулы в модальных логиках, близких к интуиционистской // Логические исследования. Москва, Российская политическая энциклопедия (РОССПЭП). 1999. Вып. 6.С. 69-75.
  6. Чагров А.В. Об эффективных теоремах о дедукции в нормальных модальных логиках // Логические исследования. М.: Наука, 2000. Вып. 7. С. 209-216.
  7. Чагров А.В. Два замечания о строго импликативных формулах в модальной логике S3 // Логические исследования. М.: Наука, 2000. Вып. 7. С. 84-89.
  8. А.В.Чагров. К вопросу о естественных минимальных логиках: Базисная и формальная логики А.Виссера и их модальные напарники // Философия и будущее цивилизации. Москва, 2005. Т. 1.С. 550-551.
  9. A.Chagrov, L.Chagrova. The Truth About Algorithmic Theory // Advances in Modal Logic. 2006. Р. 11-12.
  10. Чагров А.В. Алгоритмическая проблема финитарного семантического следования пропозициональных формул. I: контекст и постановка задачи // Логические исследования. Москва, 2007. Вып. 13. С. 215-347.
  11. Чагров А.В., Чагрова Л.А. Крах алгоритмической проблематики теории соответствия? // Логические исследования. Москва, 2007. Вып. 13. С. 248-272.
  12. А.В.Чагров. О логических проблемах и особенностях математического языка // Философия математики: актуальные проблемы. Материалы Второй международной научной конференции, 28-30 мая 2009. М. Изд-во МАКС Пресс. 2009. С. 349-351.

Яндекс.Метрика  

Р Р?йтинг@Mail.ru