|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О счетной аппроксимируемости суперинтуиционистских и модальных логикстатья
- Автор: Шехтман Валентин Борисович
- Сборник: Исследования по неклассическим логикам и формальным системам
- Год издания: 1983
- Место издания: Наука Москва
- Первая страница: 287
- Последняя страница: 299
- Аннотация: Построена суперинтуиционистская пропозициональная логика, полная по Крипке, а именно, являющаяся логикой некоторой шкалы мощности континуума, но не являющаяся полной относительно класса своих не более чем счетных шкал.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Shehtman_1983_Countable.pdf | 631,9 КБ | 23 января 2015 [ezolin] |