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

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






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


Исчисление Ламбека, обогащенное субэкспоненциалами

А. О. Щедров

University of Pennsylvania
Видеозаписи:
MP4 848.1 Mb
MP4 385.2 Mb

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

А. О. Щедров
Фотогалерея


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

Аннотация: В варианте линейной логики Лафонта правило сокращения заменяется так называемым правилом мультиплексирования. В этой работе мы рассматриваем вариант правила мультиплексирования, в котором !A подразумевает любое положительное число копий A. Правило ослабления не допускается. Мы также заимствуем правило !-введения из так называемой легкой линейной логики Жирара. В данной работе мы изучаем исчисление Ламбека, обогащенное такими правилами.
Мы доказываем, что для обогащенного исчисления Ламбека имеет место теорема об устранении сечения и подстановке, а также соблюдается условие Ламбека о непустоте левых частей выводимых секвенций. Доказывается неразрешимость данного исчисления. Доказывается, что исчисление становится разрешимым, если количество копий A, порождаемое в правиле мультиплексирования, ограничено фиксированной константой.

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