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