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

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




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


Гиперграфовое обобщение исчисления Ламбека и операции, выразимые в нем

Тихон Пшеницын

Московский государственный университет имени М. В. Ломоносова
Видеозаписи:
MP4 1,435.9 Mb
MP4 3,071.4 Mb

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



Аннотация: В докладе будет представлено естественное обобщение исчисления Ламбека на гиперграфы (изначально мотивированное желанием построить класс графовых грамматик, обобщающих грамматики Ламбека). Мы представим исчисление в гильбертовском виде и сформулируем его базовые структурные свойства. Будет рассмотрено вложение в него исчисления Ламбека и его различных модификаций (LP, NL, L с модальностями, L с единицей, L с операцией извлечения). Наконец, планируется показать, как рассмотрение гиперграфовых конструкций в гиперграфовом исчислении предоставляет интуицию, позволяющую разумным образом добавлять новые операции в обычное исчисление Ламбека.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024