#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
17.02.2025, jointly with S.I. Adian seminar
Alexei Miasnikov (Stevens Institute of Technology): First-order classification, non-standard models, and interpretations (online)
In this talk I will focus on three things:
1. First-order classification: in particular, how one can describe ALL groups which are first-order equivalent to a given one.
2. Non-standard models of groups: in particular, I will describe non-standard models of the finitely generated groups with decidable or recursively enumerable (or arithmetic) word problems and explain how they naturally appear as non-standard Z-points of the general algebraic schemes.
3. Theory of interpretations: it seems a new rich theory is emerging right now. I will show several interesting results based on interpretations.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
17.02.2025, jointly with S.I. Adian seminar
Alexei Miasnikov (Stevens Institute of Technology): First-order classification, non-standard models, and interpretations (online)
In this talk I will focus on three things:
1. First-order classification: in particular, how one can describe ALL groups which are first-order equivalent to a given one.
2. Non-standard models of groups: in particular, I will describe non-standard models of the finitely generated groups with decidable or recursively enumerable (or arithmetic) word problems and explain how they naturally appear as non-standard Z-points of the general algebraic schemes.
3. Theory of interpretations: it seems a new rich theory is emerging right now. I will show several interesting results based on interpretations.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
👍1
#матлог #не_мехмат #ВШЭ
В пятницу 21 февраля 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Л.Д. Беклемишева на тему "Циклические доказательства".
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
Место проведения: Покровский бульвар 11, аудитория R205.
🔗 Математический семинар
➰ ВК
В пятницу 21 февраля 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Л.Д. Беклемишева на тему "Циклические доказательства".
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
Место проведения: Покровский бульвар 11, аудитория R205.
🔗 Математический семинар
➰ ВК
👏3👍2
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 19 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
‼ВНИМАНИЕ Место поменялось.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Докладчик: М.Н.Рыбаков (ВШМ МФТИ, НИУ ВШЭ, ТвГУ)
Тема: Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных
Аннотация:
Известно, что интуиционистская пропозициональная логика Int PSPACE-полна, причём PSPACE-полным является даже её импликативный фрагмент (R.Statman, 1979). Чуть ранее А.В.Кузнецов высказывал предположение, что Int полиномиально финитно аппроксимируема шкалами Крипке (и, как следствие, полиномиально погружается в классическую логику Cl). Это оказалось не так, что следует как из доказательства PSPACE-трудности Int, так и из результатов М.В.Захарьящева о сложности аппроксимации Int шкалами Крипке, полученных примерно в то же время. Тем не менее, фрагмент Int от одной переменной полиномиально финитно аппроксимируем и полиномиально разрешим (благодаря т.н. лестнице Ригера--Нишимуры). А.В.Чагров высказывал гипотезу о том, что полиномиально разрешимым будет любой фрагмент Int от конечного множества переменных (заметим, что для Cl это именно так и есть). В монографии [A.Chagrov, M.Zakharyaschev. Modal Logic. 1997] сформулирована соответствующая проблема (Problem 18.4), где вопросы о полиномиальной финитной аппроксимируемости и полиномиальной разрешимости ставятся для фрагмента Int от двух переменных и фрагментов S4, Grz и других стандартных модальных логик от одной переменной. На момент публикации этой монографии сложность фрагментов от одной переменной логик K, T, S4 была установлена (E.Spaan, 1993; J.Halpern, 1995), а в отношении Int долгое время ответа не было. Ответ для Int был получен докладчиком в 2004 году. В доказательстве возникла конструкция, позволившая обосновать PSPACE-трудность фрагментов от двух переменных всех логик между Int и логикой слабого закона исключённого третьего. Много позже эта конструкция была использована в решении алгоритмических вопросов для суперинтуиционистских предикатных логик, а недавно — для модальных интуиционистских логик, таких как MIPC (известна как IK — интуиционистская K), FS (известна как IS5) и других. Некоторые из полученных результатов опубликованы в совместных работах с Д.П.Шкатовым, в частности, касающиеся модальных интуиционистских логик.
В докладе предполагается (а) представить и обсудить используемую в доказательствах конструкцию, позволяющую полиномиально погрузить всю логику в её фрагмент от одной-двух переменных, (б) представить недавно полученные совместно с Д.П.Шкатовым результаты, а также (в) рассказать о некоторых следствиях, в т.ч. полученных совместно с А.А.Оноприенко (касаются логики HC, 2024г.) и М.И.Щербаковым (касаются логики GL.2, 2025г.).
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 19 февраля.
Время проведения семинара 14:30.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
‼ВНИМАНИЕ Место поменялось.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Докладчик: М.Н.Рыбаков (ВШМ МФТИ, НИУ ВШЭ, ТвГУ)
Тема: Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных
Аннотация:
Известно, что интуиционистская пропозициональная логика Int PSPACE-полна, причём PSPACE-полным является даже её импликативный фрагмент (R.Statman, 1979). Чуть ранее А.В.Кузнецов высказывал предположение, что Int полиномиально финитно аппроксимируема шкалами Крипке (и, как следствие, полиномиально погружается в классическую логику Cl). Это оказалось не так, что следует как из доказательства PSPACE-трудности Int, так и из результатов М.В.Захарьящева о сложности аппроксимации Int шкалами Крипке, полученных примерно в то же время. Тем не менее, фрагмент Int от одной переменной полиномиально финитно аппроксимируем и полиномиально разрешим (благодаря т.н. лестнице Ригера--Нишимуры). А.В.Чагров высказывал гипотезу о том, что полиномиально разрешимым будет любой фрагмент Int от конечного множества переменных (заметим, что для Cl это именно так и есть). В монографии [A.Chagrov, M.Zakharyaschev. Modal Logic. 1997] сформулирована соответствующая проблема (Problem 18.4), где вопросы о полиномиальной финитной аппроксимируемости и полиномиальной разрешимости ставятся для фрагмента Int от двух переменных и фрагментов S4, Grz и других стандартных модальных логик от одной переменной. На момент публикации этой монографии сложность фрагментов от одной переменной логик K, T, S4 была установлена (E.Spaan, 1993; J.Halpern, 1995), а в отношении Int долгое время ответа не было. Ответ для Int был получен докладчиком в 2004 году. В доказательстве возникла конструкция, позволившая обосновать PSPACE-трудность фрагментов от двух переменных всех логик между Int и логикой слабого закона исключённого третьего. Много позже эта конструкция была использована в решении алгоритмических вопросов для суперинтуиционистских предикатных логик, а недавно — для модальных интуиционистских логик, таких как MIPC (известна как IK — интуиционистская K), FS (известна как IS5) и других. Некоторые из полученных результатов опубликованы в совместных работах с Д.П.Шкатовым, в частности, касающиеся модальных интуиционистских логик.
В докладе предполагается (а) представить и обсудить используемую в доказательствах конструкцию, позволяющую полиномиально погрузить всю логику в её фрагмент от одной-двух переменных, (б) представить недавно полученные совместно с Д.П.Шкатовым результаты, а также (в) рассказать о некоторых следствиях, в т.ч. полученных совместно с А.А.Оноприенко (касаются логики HC, 2024г.) и М.И.Щербаковым (касаются логики GL.2, 2025г.).
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
❤2👍2🔥1
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
21 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Applying the theory of quasi-truth for clarification of cognitive distortions
Докладчики: Ricardo Peraça Cavassane (University of Campinas), Виктория Денисова (НИУ ВШЭ)
Аннотация: We begin by examining Beck's cognitive model, focusing on its three key components: the cognitive triad, schemas, and cognitive errors. Our analysis emphasizes cognitive errors, particularly cognitive distortions, as a subset of these errors. The presentation then delves into a systematic review of Beck's identified thinking errors. We argue that many cognitive distortions can be understood as errors in deductive reasoning, often stemming from invalid premises or flawed logical forms. By applying principles of the theory of quasi-truth, we demonstrate how cognitive distortions can be reframed as instances of reasoning with inconsistent or incomplete information and negative assumptions. That is, by adding negative assumptions to the set of primary sentences P of a simple pragmatic structure A, the individual can only construct the A-normal structures which are consistent with those assumptions and, therefore, can only come to negative quasi-true conclusions. This approach provides a more nuanced understanding of how individuals with depression process information and make inferences about themselves, their experiences, and their future
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1016973796.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
21 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: Applying the theory of quasi-truth for clarification of cognitive distortions
Докладчики: Ricardo Peraça Cavassane (University of Campinas), Виктория Денисова (НИУ ВШЭ)
Аннотация: We begin by examining Beck's cognitive model, focusing on its three key components: the cognitive triad, schemas, and cognitive errors. Our analysis emphasizes cognitive errors, particularly cognitive distortions, as a subset of these errors. The presentation then delves into a systematic review of Beck's identified thinking errors. We argue that many cognitive distortions can be understood as errors in deductive reasoning, often stemming from invalid premises or flawed logical forms. By applying principles of the theory of quasi-truth, we demonstrate how cognitive distortions can be reframed as instances of reasoning with inconsistent or incomplete information and negative assumptions. That is, by adding negative assumptions to the set of primary sentences P of a simple pragmatic structure A, the individual can only construct the A-normal structures which are consistent with those assumptions and, therefore, can only come to negative quasi-true conclusions. This approach provides a more nuanced understanding of how individuals with depression process information and make inferences about themselves, their experiences, and their future
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1016973796.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
21 февраля 2025 г.
Г. Г. Черевиченко
Трудности с определением подстановки.
Подстановку мы обычно не пишем явно и поэтому не замечаем. При попытке же что-то о ней строго доказать неожиданно оказывается, что это мучительно трудно. В большинстве случаев трудности замалчивают (например, почти никто не проверяет кванторные правила при определении моделей Крипке). На примере моделей Крипке докладчик опишет трудности и предложит свой подход к их решению.
➰ ВК
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
21 февраля 2025 г.
Г. Г. Черевиченко
Трудности с определением подстановки.
Подстановку мы обычно не пишем явно и поэтому не замечаем. При попытке же что-то о ней строго доказать неожиданно оказывается, что это мучительно трудно. В большинстве случаев трудности замалчивают (например, почти никто не проверяет кванторные правила при определении моделей Крипке). На примере моделей Крипке докладчик опишет трудности и предложит свой подход к их решению.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
24.02.2025 Об отношениях между предпорядками Рудин – Кейслера и Комфорта, часть I
Н. Л. Поляков, Д. И. Савельев (докладчик)
При рассмотрении канонических ультрарасширений многоместных операций естественно возникают отношения на ультрафильтрах, обобщающие классический предпорядок Рудин – Кейслера (задающийся одноместными операциями). Возрастающую цепь этих отношений можно продолжить трансфинитно. Оказывается, что объединение всех полученных отношений даёт другое хорошо известное отношение на ультрафильтрах – предпорядок Комфорта. Будет показано, как вычисляется композиция этих отношений; как следствие, будет установлено, что отношение является предпорядком тогда, и только тогда, когда его индекс является мультипликативно неразложимым ординалом. Также будут представлены некоторые теоретико-модельные приложения, значительно обобщающие ранее известные результаты.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
24.02.2025 Об отношениях между предпорядками Рудин – Кейслера и Комфорта, часть I
Н. Л. Поляков, Д. И. Савельев (докладчик)
При рассмотрении канонических ультрарасширений многоместных операций естественно возникают отношения на ультрафильтрах, обобщающие классический предпорядок Рудин – Кейслера (задающийся одноместными операциями). Возрастающую цепь этих отношений можно продолжить трансфинитно. Оказывается, что объединение всех полученных отношений даёт другое хорошо известное отношение на ультрафильтрах – предпорядок Комфорта. Будет показано, как вычисляется композиция этих отношений; как следствие, будет установлено, что отношение является предпорядком тогда, и только тогда, когда его индекс является мультипликативно неразложимым ординалом. Также будут представлены некоторые теоретико-модельные приложения, значительно обобщающие ранее известные результаты.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
👍1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
03 March 2025, 13:00 UTC, the Proof Society Seminar
Speaker: Henry Towsner (University of Pennsylvania, https://www.sas.upenn.edu/~htowsner/)
Title: Proofs that Modify Proofs
Abstract: In this talk, we outline an approach to cut-elimination for full second order arithmetic using a modified form of the Buchholz Omega-rule. The usual Buchholz Omega-rule is a rule branching over ("small") deductions; this method works for systems around the strength of Pi11-comprehension, but breaks down approaching Pi12-comprehension.
We describe an extended sequent calculus in which the cut-elimination functions can themselves be represented by non-well-founded deductions. The Omega-rule can then be reinterpreted as a rule which takes a function as a premise. The extension to Pi12-comprehension then requires us to work with functionals---that is, functions on functions---and iterating through the finite types extends the method to full second order arithmetic. We will also briefly describe how to assign "ordinals" to non-well-founded deductions to extract an ordinal analysis from the cut-elimination algorithm.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
03 March 2025, 13:00 UTC, the Proof Society Seminar
Speaker: Henry Towsner (University of Pennsylvania, https://www.sas.upenn.edu/~htowsner/)
Title: Proofs that Modify Proofs
Abstract: In this talk, we outline an approach to cut-elimination for full second order arithmetic using a modified form of the Buchholz Omega-rule. The usual Buchholz Omega-rule is a rule branching over ("small") deductions; this method works for systems around the strength of Pi11-comprehension, but breaks down approaching Pi12-comprehension.
We describe an extended sequent calculus in which the cut-elimination functions can themselves be represented by non-well-founded deductions. The Omega-rule can then be reinterpreted as a rule which takes a function as a premise. The extension to Pi12-comprehension then requires us to work with functionals---that is, functions on functions---and iterating through the finite types extends the method to full second order arithmetic. We will also briefly describe how to assign "ordinals" to non-well-founded deductions to extract an ordinal analysis from the cut-elimination algorithm.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
www.sas.upenn.edu
Prof. Henry Towsner, Department of Mathematics
Homepage for Henry Towsner, Department of Mathematics
👍2
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик:
В.Б. Шехтман (ВШМ МФТИ)
Тема: Полупроизведения модальных логик
Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.
Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик:
В.Б. Шехтман (ВШМ МФТИ)
Тема: Полупроизведения модальных логик
Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.
Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)
Время: 4 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
А.В. Грефенштейн (МИАН)
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов
Первопорядковая логика вероятности с распределением на носителе — известный формальный язык для рассуждения о вероятностях в теоретической информатике, предложенный Дж. Хальперном. В односортной версии этой логики имеются кванторы по элементам носителя, а в двухсортной добавляются кванторы по вещественным числам. Известно, что при почти всех сигнатурах двухсортная версия имеет как минимум ту же сложность, что и полная арифметика второго порядка, а потому для неё невозможность построить адекватное (даже слабо) полное инфинитарное исчисление.
Нас будет интересовать односортная версия вышеупомянутой логики. Первый доклад будет посвящён построению сильно полного инфинитарного исчисления для неё. Здесь «инфинитарность» означает, что наше исчисление будет содержать омега-правила, т.е. правила со счётным числом посылок; однако сами формулы будут конечными. На втором докладе мы рассмотрим различные естественные фрагменты данной логики.
❗Просьба ко всем потенциальным участникам зарегистрироваться на странице семинара. Ссылка для Контур.Толк будет отправлена зарегистрированным участникам накануне заседания.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)
Время: 4 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
А.В. Грефенштейн (МИАН)
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов
Первопорядковая логика вероятности с распределением на носителе — известный формальный язык для рассуждения о вероятностях в теоретической информатике, предложенный Дж. Хальперном. В односортной версии этой логики имеются кванторы по элементам носителя, а в двухсортной добавляются кванторы по вещественным числам. Известно, что при почти всех сигнатурах двухсортная версия имеет как минимум ту же сложность, что и полная арифметика второго порядка, а потому для неё невозможность построить адекватное (даже слабо) полное инфинитарное исчисление.
Нас будет интересовать односортная версия вышеупомянутой логики. Первый доклад будет посвящён построению сильно полного инфинитарного исчисления для неё. Здесь «инфинитарность» означает, что наше исчисление будет содержать омега-правила, т.е. правила со счётным числом посылок; однако сами формулы будут конечными. На втором докладе мы рассмотрим различные естественные фрагменты данной логики.
❗Просьба ко всем потенциальным участникам зарегистрироваться на странице семинара. Ссылка для Контур.Толк будет отправлена зарегистрированным участникам накануне заседания.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
👍2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 28.02.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Федор Пахомов
Название: Инфинитарная логика доказуемости
В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 28.02.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Федор Пахомов
Название: Инфинитарная логика доказуемости
В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.
🔗 Логика в Москве
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
👍2
#матлог #наука #конференция
--------------------------------------------------------------
↪ Международный молодежный научный форум ЛОМОНОСОВ
🔥 ОТКРЫТА РЕГИСТРАЦИЯ на Международную конференцию «ЛОМОНОСОВ – 2025»
Дорогие коллеги, уже открыта регистрация на некоторые секции XXXII Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов»!
✅ Дедлайн подачи заявок: до 3 марта (включительно).
✅ Подробная информация и регистрация на портале: lomonosov-msu.ru/rus/event/10000/
В этом году Международный молодёжный научный форум «Ломоносов» будет проходить с 11 по 25 апреля 2025 💫
Что Вас ждёт:
💠 Более 40 секций, отражающих все основные направления современной фундаментальной и прикладной науки;
💠 Работа региональных площадок научно-образовательных консорциумов «Вернадский» и на базе зарубежных и российских филиалов МГУ для всех заинтересованных.
💠 Дискуссионные площадки, лекторий и многое другое!
Присоединяйтесь к самому масштабному сообществу талантливых молодых исследователей, делайте первые шаги в науке и находите единомышленников!
Ваше будущее в науке начинается здесь! 🚀
#МГУ #270летМГУ #MSU #Ломоносов2025 #Lomonosov
#Lomonosov2025 #ФорумЛомоносов
#СтудсоюзМГУ #СНО_МГУ #ВСК_Вернадский
#наука #образование
➰ ВК
--------------------------------------------------------------
↪ Международный молодежный научный форум ЛОМОНОСОВ
🔥 ОТКРЫТА РЕГИСТРАЦИЯ на Международную конференцию «ЛОМОНОСОВ – 2025»
Дорогие коллеги, уже открыта регистрация на некоторые секции XXXII Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов»!
✅ Дедлайн подачи заявок: до 3 марта (включительно).
✅ Подробная информация и регистрация на портале: lomonosov-msu.ru/rus/event/10000/
В этом году Международный молодёжный научный форум «Ломоносов» будет проходить с 11 по 25 апреля 2025 💫
Что Вас ждёт:
💠 Более 40 секций, отражающих все основные направления современной фундаментальной и прикладной науки;
💠 Работа региональных площадок научно-образовательных консорциумов «Вернадский» и на базе зарубежных и российских филиалов МГУ для всех заинтересованных.
💠 Дискуссионные площадки, лекторий и многое другое!
Присоединяйтесь к самому масштабному сообществу талантливых молодых исследователей, делайте первые шаги в науке и находите единомышленников!
Ваше будущее в науке начинается здесь! 🚀
#МГУ #270летМГУ #MSU #Ломоносов2025 #Lomonosov
#Lomonosov2025 #ФорумЛомоносов
#СтудсоюзМГУ #СНО_МГУ #ВСК_Вернадский
#наука #образование
➰ ВК
ВКонтакте
Международный молодежный научный форум ЛОМОНОСОВ
Официальная группа "ВКонтакте" крупнейшего на пространстве СНГ молодежного мультидисциплинарного научного форума, ежегодно проводимого Московским государственным университетом имени М.В.Ломоносова.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
Tuesday, March 4, 2025, 17:00 (Moscow time)
Speaker: Robert Sedgewick, Princeton University.
Title: Cardinality estimation.
Abstract: This talk surveys decades of research on algorithms for estimating the number of different items in a DataStream, from early algorithms of Flajolet and Martin to the recent algorithms of Lumbroso, Janson and Sedgewick. The story is a poster child for the use of probabilistic methods in algorithm science.
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
Tuesday, March 4, 2025, 17:00 (Moscow time)
Speaker: Robert Sedgewick, Princeton University.
Title: Cardinality estimation.
Abstract: This talk surveys decades of research on algorithms for estimating the number of different items in a DataStream, from early algorithms of Flajolet and Martin to the recent algorithms of Lumbroso, Janson and Sedgewick. The story is a poster child for the use of probabilistic methods in algorithm science.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)
❗Замена
Доклад А.В. Грефенштейна откладывается в связи с болезнью. Вместо этого будет доклад С.О. Сперанского — см. подробности ниже.
Время: 4 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
С.О. Сперанский (МИАН)
О сложности первопорядковой логики вероятности с распределением на носителе
Первопорядковая логика вероятности с распределением на носителе — известный формальный язык для рассуждения о вероятностях в теоретической информатике, предложенный Дж. Хальперном. В односортной версии этой логики имеются кванторы по элементам носителя, а в двухсортной добавляются кванторы по вещественным числам.
Сложность вышеупомянутой логики была изучена М. Абади и Дж. Хальперном (1994). Основной интерес здесь представляют нижние сложностные оценки. Для их получения в статье М. Абади и Дж. Хальперна существенно использовались сложение и умножение между вероятностями. В настоящем докладе будет показано, как получить те же самые сложностные оценки для малых «качественных» (англ. qualitative) фрагментов, в которых нет ни сложения, ни умножения. В частности, в односортном случае будет достаточно равенств между вероятностями от бескванторных первопорядковых формул.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)
❗Замена
Доклад А.В. Грефенштейна откладывается в связи с болезнью. Вместо этого будет доклад С.О. Сперанского — см. подробности ниже.
Время: 4 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
С.О. Сперанский (МИАН)
О сложности первопорядковой логики вероятности с распределением на носителе
Первопорядковая логика вероятности с распределением на носителе — известный формальный язык для рассуждения о вероятностях в теоретической информатике, предложенный Дж. Хальперном. В односортной версии этой логики имеются кванторы по элементам носителя, а в двухсортной добавляются кванторы по вещественным числам.
Сложность вышеупомянутой логики была изучена М. Абади и Дж. Хальперном (1994). Основной интерес здесь представляют нижние сложностные оценки. Для их получения в статье М. Абади и Дж. Хальперна существенно использовались сложение и умножение между вероятностями. В настоящем докладе будет показано, как получить те же самые сложностные оценки для малых «качественных» (англ. qualitative) фрагментов, в которых нет ни сложения, ни умножения. В частности, в односортном случае будет достаточно равенств между вероятностями от бескванторных первопорядковых формул.
🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&
➰ ВК
👍2🔥1
#матлог #наука #конференция
First Annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics (https://philevents.org/event/show/132186)
Paris, France, 12th and 13th June, 2025, at the John W. Boyer Paris Center.
The first annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics will take place in the University of Chicago Paris Center on the 12th and 13th of June, 2025.
This is the first a recurring series of events hosted at the new University of Chicago campus in Paris, aiming to bring together American and European researchers working at the intersection of logic, philosophy, and mathematics. Accordingly, we welcome papers from a wide range of areas, including but not limited to:
- Philosophy of mathematics
- Philosophy of logic
- Developments in the foundations of mathematics
- Interactions between proofs and programs
- History of logic and mathematics
- AI and mathematics
This event is supported by a grant from the University of Chicago International Institute for Research in Paris. The conference will be held in English.
INVITED SPEAKERS: TBA
PARTICIPATION
Those interesting in presenting should send an abstract of their talk (approximately 150-300 words) along with a coversheet containing their name, institutional affiliation and noscript of the paper to stefanosjones@uchicago.edu by no later than March 15th.
Notifications of acceptance are expected to be provided by the end of March.
Conference attendance is free.
ORGANIZERS
Kevin Davey (University of Chicago), Brice Halimi (Université Paris Cité), Stefanos Jones (University of Chicago)
CONTACT
Questions can be addressed to Kevin Davey at kjdavey@uchicago.edu or Stefanos Jones at stefanosjones@uchicago.edu
🔗 Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics
➰ ВК
First Annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics (https://philevents.org/event/show/132186)
Paris, France, 12th and 13th June, 2025, at the John W. Boyer Paris Center.
The first annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics will take place in the University of Chicago Paris Center on the 12th and 13th of June, 2025.
This is the first a recurring series of events hosted at the new University of Chicago campus in Paris, aiming to bring together American and European researchers working at the intersection of logic, philosophy, and mathematics. Accordingly, we welcome papers from a wide range of areas, including but not limited to:
- Philosophy of mathematics
- Philosophy of logic
- Developments in the foundations of mathematics
- Interactions between proofs and programs
- History of logic and mathematics
- AI and mathematics
This event is supported by a grant from the University of Chicago International Institute for Research in Paris. The conference will be held in English.
INVITED SPEAKERS: TBA
PARTICIPATION
Those interesting in presenting should send an abstract of their talk (approximately 150-300 words) along with a coversheet containing their name, institutional affiliation and noscript of the paper to stefanosjones@uchicago.edu by no later than March 15th.
Notifications of acceptance are expected to be provided by the end of March.
Conference attendance is free.
ORGANIZERS
Kevin Davey (University of Chicago), Brice Halimi (Université Paris Cité), Stefanos Jones (University of Chicago)
CONTACT
Questions can be addressed to Kevin Davey at kjdavey@uchicago.edu or Stefanos Jones at stefanosjones@uchicago.edu
🔗 Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics
➰ ВК
philevents.org
Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics
We are pleased to announce the first annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics, which will take place in the University of Chicago Paris Center on the 12th and 13th of June, 2025.
This is the first a recurring series…
This is the first a recurring series…
🔥1
#матлог #учёба #просеминар
💥В четверг 6 марта возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Колмогоровская сложность" (А.А.Оноприенко).
✨Аннотация. Понятие колмогоровской сложности позволяет измерять количество информации, заключённой в индивидуальных конечных объектах и тем самым отличать простые объекты от сложных. На просеминаре мы обсудим вводные задачи, касающиеся понятия колмогоровской сложности.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус). (Обратите внимание, что аудитория поменялась по сравнению с 1 семестром!)
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале!
🔗 Просеминар по математической логике и информатике
📝 kolm_complexity2025.pdf
➰ ВК
💥В четверг 6 марта возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Колмогоровская сложность" (А.А.Оноприенко).
✨Аннотация. Понятие колмогоровской сложности позволяет измерять количество информации, заключённой в индивидуальных конечных объектах и тем самым отличать простые объекты от сложных. На просеминаре мы обсудим вводные задачи, касающиеся понятия колмогоровской сложности.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус). (Обратите внимание, что аудитория поменялась по сравнению с 1 семестром!)
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале!
🔗 Просеминар по математической логике и информатике
📝 kolm_complexity2025.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
👍2
#матлог
❗️Дорогие слушатели и участники семинара,
К сожалению, доклад в рамках семинара "Формальная Философия" 7 марта (пятница) не состоится. Доклад переносится на другое время, о чем мы сообщим дополнительно.
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
7 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий из себя промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1021417749.html
➰ ВК
❗️Дорогие слушатели и участники семинара,
К сожалению, доклад в рамках семинара "Формальная Философия" 7 марта (пятница) не состоится. Доклад переносится на другое время, о чем мы сообщим дополнительно.
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
7 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий из себя промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1021417749.html
➰ ВК
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анастасия Оноприенко
Название: Таблицы Лейвера
Аннотация.
Таблицы Лейвера - конечные комбинаторные объекты с очень простым определением. Они были введены в рассмотрение Ричардом Лейвером в 1990-х годах в процессе исследования им теории множеств. Тем не менее, изучение свойств таблиц Лейвера требует очень сильных методов, выходящих далеко за "стандартную" математику, лежащую в рамках теории множеств ZFC.
В докладе будет дано введение в эту любопытную и, к сожалению, малоизвестную тему. Предварительных знаний для понимания доклада не требуется, все определения будут даны.
🔗 Логика в Москве
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Анастасия Оноприенко
Название: Таблицы Лейвера
Аннотация.
Таблицы Лейвера - конечные комбинаторные объекты с очень простым определением. Они были введены в рассмотрение Ричардом Лейвером в 1990-х годах в процессе исследования им теории множеств. Тем не менее, изучение свойств таблиц Лейвера требует очень сильных методов, выходящих далеко за "стандартную" математику, лежащую в рамках теории множеств ZFC.
В докладе будет дано введение в эту любопытную и, к сожалению, малоизвестную тему. Предварительных знаний для понимания доклада не требуется, все определения будут даны.
🔗 Логика в Москве
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
👍1🔥1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10 марта 2025 года
Тихон Пшеницын (МИАН, аспирант)
Интуиционистская линейная логика первого порядка и гиперграфовые языки (очный доклад)
Некоммутативные субструктурные логики имеют несколько точек соприкосновения с теорией формальных языков. С одной стороны, такие логики, например, исчисление Ламбека, используются как механизм задания формальных языков в категориальных грамматиках. С другой стороны, формальные языки возникают как модели субструктурных логик; основной результат в этом направлении, доказанный М.Р. Пентусом, гласит, что исчисление Ламбека корректно и полно относительно языковой семантики.
В докладе предполагается обсудить аналогичные взаимосвязи между субструктурными логиками первого порядка и гиперграфовыми языками. В первой части доклада будет предложено определение гиперграфовых L-грамматик, основанных на произвольной первопорядковой логике L (в секвенциальном формате). Оно обобщает понятие MILL1-грамматик — категориальных грамматик, основанных на мультипликативной интуиционистской линейной логике первого порядка MILL1. Последние рассматривались в работах [Μοοt, 2014], [Slavnov, 2023]. Будет показана связь гиперграфовых MILL1-грамматик, а также грамматик над интуиционистской линейной логикой первого порядка ILL1 с порождающими гиперграфовыми грамматиками. В качестве следствия будет дан ответ на открытый вопрос из [Moot, 2014] о классе языков, задаваемых строковыми MILL1-грамматиками; в частности, будет показано, что этот класс содержит NP-полный язык.
Во второй части доклада будет дано определение языковой семантики для логики MILL1, в рамках которой формулы интерпретируются гиперграфовыми языками, а мультипликативная конъюнкция (тензор) линейной логики интерпретируется операцией параллельной композиции. Эта операция хорошо известна в теории графовых грамматик в контексте HR-алгебр [Courcelle, 1990]. Будет установлена теорема о корректности и полноте для негативного фрагмента MILL1 (с помощью аналога конструкции [Buszkowski, 1982]). Вопрос полноты всей логики MILL1 относительно гиперграфово-языковой семантики остается открытым.
Доклад основан на препринте https://arxiv.org/abs/2502.05816.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10 марта 2025 года
Тихон Пшеницын (МИАН, аспирант)
Интуиционистская линейная логика первого порядка и гиперграфовые языки (очный доклад)
Некоммутативные субструктурные логики имеют несколько точек соприкосновения с теорией формальных языков. С одной стороны, такие логики, например, исчисление Ламбека, используются как механизм задания формальных языков в категориальных грамматиках. С другой стороны, формальные языки возникают как модели субструктурных логик; основной результат в этом направлении, доказанный М.Р. Пентусом, гласит, что исчисление Ламбека корректно и полно относительно языковой семантики.
В докладе предполагается обсудить аналогичные взаимосвязи между субструктурными логиками первого порядка и гиперграфовыми языками. В первой части доклада будет предложено определение гиперграфовых L-грамматик, основанных на произвольной первопорядковой логике L (в секвенциальном формате). Оно обобщает понятие MILL1-грамматик — категориальных грамматик, основанных на мультипликативной интуиционистской линейной логике первого порядка MILL1. Последние рассматривались в работах [Μοοt, 2014], [Slavnov, 2023]. Будет показана связь гиперграфовых MILL1-грамматик, а также грамматик над интуиционистской линейной логикой первого порядка ILL1 с порождающими гиперграфовыми грамматиками. В качестве следствия будет дан ответ на открытый вопрос из [Moot, 2014] о классе языков, задаваемых строковыми MILL1-грамматиками; в частности, будет показано, что этот класс содержит NP-полный язык.
Во второй части доклада будет дано определение языковой семантики для логики MILL1, в рамках которой формулы интерпретируются гиперграфовыми языками, а мультипликативная конъюнкция (тензор) линейной логики интерпретируется операцией параллельной композиции. Эта операция хорошо известна в теории графовых грамматик в контексте HR-алгебр [Courcelle, 1990]. Будет установлена теорема о корректности и полноте для негативного фрагмента MILL1 (с помощью аналога конструкции [Buszkowski, 1982]). Вопрос полноты всей логики MILL1 относительно гиперграфово-языковой семантики остается открытым.
Доклад основан на препринте https://arxiv.org/abs/2502.05816.
🔗 Seminars "Proof Theory" and "Logic Online Seminar"
➰ ВК
👍4