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

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






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


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

А. О. Щедров

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

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

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



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