|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
26 декабря 2016 г. 18:30–20:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Контур Толк
|
 |
|
 |
|
|
|
Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть |
| Количество просмотров: |
| Эта страница: | 189 |
|
Аннотация:
В докладе пойдет речь об $EL$-уравнениях или импликациях между строго позитивными формулами. Мы интересуемся вопросом о специальной полноте по Крипке для таких уравнений, а именно, хотим охарактеризовать те уравнения, которые некоторым стандартным для полурешеток с монотонными операторами образом аксиоматизируют $EL$-фрагмент задаваемых ими нормальных модальных логик.
|
|
Обратная связь: