|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Интуиционистски приемлемая паранормальная логикастатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Авторы: Попов В.М., Шуклин Г.Н.
- Журнал: Логические исследования
- Том: 11
- Год издания: 2004
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 245
- Последняя страница: 248
- Аннотация: Строится пропозициональная логика AIP, являющаяся паранормальной подлогикой интуиционистской пропозициональной логики. Описываются семантика логики AIP, представляющая модификацию семантики Крипке, адекватной интуиционистской пропозициональной логике, и секвенциальное исчисление GAIP, аксиоматизирующее логику AIP. Определяются погружения интуиционистской пропозициональной логики в AIP.
- Добавил в систему: Попов Владимир Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Li_11_Popov_Shuklin.pdf | 158,8 КБ | 24 июня 2013 [popov_vladimir_logic] |