|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Подструктурные логики, родственные логике И.Е.Орловастатья
- Авторы: Карпенко А.С., Попов В.М.
- Журнал: Труды научно-исследовательского семинара Логического центра Института философии РАН
- Том: 16
- Год издания: 2002
- Первая страница: 59
- Последняя страница: 63
- Аннотация: Предлагаются различные секвенциальные формулировки классического пропозиционального исчисления, на основе которых конструируются подструктурные логики, являющиеся подлогиками логики И.Е.Орлова. При этом в качестве импликативно-негативного фрагмента каждая из этих подлогик логики И.Е.Орлова имеет импликативно-негативный фрагмент последней.
- Добавил в систему: Попов Владимир Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Trudy_NIS_2002_Karpenko-Popov.pdf | 220,6 КБ | 3 января 2015 [popov_vladimir_logic] |