|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
10 октября 2016 г. 18:30–20:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
Строго позитивная логика конечных линейных порядков, продолжение
Святловский М. Московский физико-технический институт, факультет инноваций и высоких технологий
|
Количество просмотров: |
Эта страница: | 87 |
|
Аннотация:
Строго позитивные логики описывают множества импликаций A->B, где A и B - модальные формулы, строящиеся
лишь с помощью конъюнкции и модальностей типа "ромб" из переменных и константы "истина".
В докладе будет изложена простая аксиоматизация строго позитивного фрагмента модальной логики GL.3
с помощью единственной схемы аксиом над логикой K4+. Логика GL.3 определяется конечными линейными
(иррефлексивными) шкалами Крипке. Также будет указан полиномиальный разрешающий алгоритм для строго
позитивного фрагмента этой логики. До недавнего времени этот фрагмент рассматривался как возможная строго
позитивная логика с co-NP полной проблемой выводимости, однако автору удалось опровергнуть эту гипотезу
(по модулю P не = NP).
|
|