|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Простая параполная подлогика интуиционистской пропозициональной логикистатья
- Автор: Попов В.М.
- Журнал: Труды научно-исследовательского семинара Логического центра Института философии РАН
- Том: 18
- Год издания: 2007
- Первая страница: 117
- Последняя страница: 122
- Аннотация: Строится пропозициональная логика NP, являющаяся параполной подлогикой интуиционистской пропозициональной логики. Описываются семантика в стиле Крипке, адекватная логике NP, и секвенциальное исчисление GNP, аксиоматизирующее логику NP. Определяются отображения, погружающие интуиционистскую пропозициональную логику в NP.
- Добавил в систему: Попов Владимир Михайлович