Семинары: М. В. Захарьящев, С. П. Кикоть, Об аксиоматизации строго позитивных фрагментов модальных логик

СЕМИНАРЫ


Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 26 декабря 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн

Об аксиоматизации строго позитивных фрагментов модальных логик М. В. Захарьящев, С. П. Кикоть
Аннотация: В докладе пойдет речь об $EL$-уравнениях или импликациях между строго позитивными формулами. Мы интересуемся вопросом о специальной полноте по Крипке для таких уравнений, а именно, хотим охарактеризовать те уравнения, которые некоторым стандартным для полурешеток с монотонными операторами образом аксиоматизируют $EL$-фрагмент задаваемых ими нормальных модальных логик.