| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
|
|||
|
|
|||
|
Лекция 5. Модальные логики предикатов и их модели В. Б. Шехтман |
|||
|
Аннотация: 1. Интуиционистская логика предикатов и ее расширения. Выводимость, правила Бернайса. 2. Теорема о дедукции для суперинтуиционистских предикатных логик. 3. Правила монотонности для кванторов. Эквивалентная замена. Допустимость правила конгруэнтности. 4. Универсальное замыкание. Схемы аксиом вместо правила подстановки. |
|||
