|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Об отсутствии интерполяционного свойства у логик I3,ω, I3,1 и всех логик между нимитезисы доклада
- Автор: Попов В.М.
- Сборник: Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года
- Редакторы: Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Карпенко Александр Степанович, Маркин Владимир Ильич
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2011
- Место издания: Современные тетради, Москва
- Первая страница: 29
- Последняя страница: 31
- Аннотация: Показывается, что логики I3,w, I3,1 и все логик между ними не обладают интерполяционным свойством.
- Добавил в систему: Попов Владимир Михайлович