Вторник 28.10. В.П. Оревков (ПОМИ): "Слабая форма свойства подформульности секвенциальных доказательств с сечениями."
0 views
Skip to first unread message
PDMI seminars
Oct 24, 2025, 11:29:10 AM (6 days ago) Oct 24
to dm-se...@googlegroups.com, dmsemina...@logic.pdmi.ras.ru, dmse...@logic.pdmi.ras.ru
Семинар по дискретной математике
Тема: Слабая форма свойства подформульности секвенциальных доказательств с сечениями.
Место: Zoom
Время: 28.10.2025, 14:00
Докладчик: В.П. Оревков (ПОМИ)
Abstract:
В докладе будут сформулированы условия, когда правила, которые
применяются в доказательствах с сечениями, не будут применяться
после устранения сечений. Будет также доказана индукцией по глубине
формул теорема об устранимости сечений в классическом исчислении
предикатов.
Reply all
Reply to author
Forward
0 new messages