|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об одной нетабличной логике с классическим позитивным фрагментомстатья
- Автор: Попов В.М.
- Журнал: Актуальные проблемы гуманитарных и естественных наук
- Номер: 1-1
- Год издания: 2014
- Издательство: Науч.-информ. изд. центр и ред. журн. "Актуальные проблемы гуманитарных и естественных наук"
- Местоположение издательства: М.
- Первая страница: 230
- Последняя страница: 233
- Аннотация: Цель статьи - исследование логик нельсоновского типа, включающихся в известную логику Par, а задача - построение примера такого рода логики и ее изучение. Секвенциальные аксиоматизации подлогик логики Par, подобные предложенной здесь аксиоматизации логики Par(∞), можно использовать при разработке разрешающих процедур для соответствующих подлогик логики Par.
- Добавил в систему: Попов Владимир Михайлович