#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 07.06.2024 в 16:20

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Елена Попова

Название: Логика свидетельств первого порядка со связывающей модальностью

Аннотация.
Доклад будет посвящен логике свидетельств первого порядка (Яворская 1998; Артемов, Яворская, 2001). Первопорядковая логика свидетельств дает возможность различать глобальные и локальные параметры в доказательствах. Например, для формулы F(x) с параметром x следует различать следующие утверждения:
«t - доказательство формулы F(x), содержащей x свободно»,
«t - доказательство формулы F(x) для конкретного значения x», где x рассматривается как параметр.
В языке модальной логики первого порядка тоже можно различать глобальные и локальные параметры с помощью связывающих модальностей (Артемов, Яворская, 2016). В докладе будет представлена логика свидетельств первого порядка одновременно со свидетельскими термами и связывающими модальностями. Будет рассмотрена семантика Крипке для данной логики, а также изложена теорема о сильной полноте.

Литература:
S.N. Artemov and T.L. Yavorskaya. On first order logic of proofs. Moscow Mathematical Journal, 1:475–490, 2001.
S.N. Artemov & T.L. Yavorskaya. Binding modalities. Journal of Logic and Computation, 26(1):451–461, 2016.
T.L. Yavorskaya. Nonaxiomatizability of predicate logics of proofs. Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, (6):18–22, 1998.
S.N. Artemov & M. Fitting. Justification Logic: Reasoning with Reasons, New York: Cambridge University Press. 2019.

🔗 Логика в Москве - YouTube


➰ ВК