|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О модальных и суперинтуиционистских логиках с равенствомдоклад на конференции
- Автор: Шехтман В.Б.
- Всероссийская Конференция : IV конференция математических центров России, посвященная 300-летию СПбГУ и РАН
- Даты проведения конференции: 6-11 августа 2024
- Дата доклада: 7 августа 2024
- Тип доклада: Устный
- Докладчик: Шехтман В.Б.
- Место проведения: Санкт-Петербург, Россия
-
Аннотация доклада:
В докладе рассматривается сохранение свойств предикатных логик при добавлении аксиом равенства. Обсуждается консервативность относительно формул без равенства и сохранение полноты в различных семантиках. Также строится расширение классической логики предикатов с равенством, консервативное для формул без равенства, но неполное в стандартной семантике.
- Добавил в систему: Шехтман Валентин Борисович