Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
25 декабря 2018 г. 16:00–16:35, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
 


Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна

С. О. Сперанский

Санкт-Петербургский государственный университет
Видеозаписи:
MP4 940.2 Mb
MP4 427.0 Mb

Количество просмотров:
Эта страница:227
Видеофайлы:70

С. О. Сперанский
Фотогалерея


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

Аннотация: Доклад посвящён модальной логике $\mathsf{BK}$, в основе которой лежит известная четырёхзначная матрица Белнапа–Данна. Эта логика может рассматриваться как обогащение наименьшей (двухзначной) модальной логики $\mathsf{K}$ посредством добавления так называемого «сильного отрицания». Несмотря на то, что в семантике возможных миров для $\mathsf{BK}$ задействованы все четыре значения «истинно», «ложно», «неопределено» и «переопределено», только первые два из них могут быть выражены с помощью термов. Докладчиком совместно с С.П. Одинцовым доказано, что добавление констант для «неопределено» и/или «переопределено» к исходному языку логики $\mathsf{BK}$ приводит к достаточно неожиданным результатам: включение каждой из этих логических констант в язык ведёт к исключению соответствующего истинностного значения на уровне $\mathsf{BK}$-расширений. В частности, при добавлении обеих констант получается решётка расширений, изоморфная решётке $\mathsf{K}$-расширений.
Принципиальную роль в доказательстве вышеупомянутых результатов играют методы алгебраической логики. Точнее, здесь активно используется алгебраическая семантика для $\mathsf{BK}$, которая позволяет сопоставить $\mathsf{BK}$ многообразие подходящим образом устроенных алгебр, причём так, что решётка $\mathsf{BK}$-расширений оказывается дуально изоморфна решётке подмногообразий этого многообразия

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021