RUS  ENG
Полная версия
СЕМИНАРЫ

Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
10 октября 2024 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)


Лекция 5. Модальные логики предикатов и их модели

В. Б. Шехтман


https://youtu.be/D0JDLWnV1Ak

Аннотация:
1. Интуиционистская логика предикатов и ее расширения. Выводимость, правила Бернайса.
2. Теорема о дедукции для суперинтуиционистских предикатных логик.
3. Правила монотонности для кванторов. Эквивалентная замена. Допустимость правила конгруэнтности.
4. Универсальное замыкание. Схемы аксиом вместо правила подстановки.


© МИАН, 2025