| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
Симплициальные модели модальных логик предикатов В. Б. Шехтманabc a Институт проблем передачи информации РАН b Национальный исследовательский университет "Высшая школа экономики", г. Москва c Московский государственный университет имени М. В. Ломоносова |
|||
|
Аннотация: Симплициальная семантика модальных предикатных логик введена Д.П. Скворцовым в 1990 г. В докладе мы напомним определение симплициальных моделей, теоремы о корректности и полноте. Также будет приведена конструкция симплициальных моделей с помощью нервов группоидов и даны ее применения для логик предикатов. |
|||