Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары






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


Предикатный вариант совместной логики задач и высказываний

А. А. Оноприенко
Видеозаписи:
MP4 2,115.9 Mb
MP4 1,038.8 Mb

Количество просмотров:
Эта страница:181
Видеофайлы:62
Youtube Video:

А. А. Оноприенко


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



Аннотация: Я расскажу про совместную логику задач и высказываний QHC, введённую С. А. Мелиховым. Эта логика объединяет классическую и интуиционистскую предикатные логики. В QHC имеются формулы двух сортов: высказывания (классическая часть) и задачи (интуиционистская часть). Эти два сорта связаны между собой модальностями ? и !. Применив ! к высказыванию p, мы получим задачу !p – «доказать высказывание p». Наоборот, применив ? к задаче α, мы получим высказывание ?α – «задача α имеет решение». В докладе будут построены модели типа Крипке с проверяющими мирами этой логики и показана корректность и полнота логики QHC относительно этого типа моделей. Мы покажем консервативность логики QHC относительно интуиционистской модальной логики QH4 (в некотором смысле двойственной к предикатной логике S4). Наконец, мы покажем, что в интуиционистской части QHC имеют место дизъюнктивное и экзестенциальное свойства.

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