|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об одном обобщении теоремы Гливенкостатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Автор: Попов В.М.
- Журнал: Логические исследования
- Том: 21
- Номер: 1
- Год издания: 2015
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 100
- Последняя страница: 121
- Аннотация: Предлагается обобщение теоремы Гливенко и описывается основанный на этом обобщении способ построения аналогов утверждения, являющегося некоторой специальной формой теоремы Гливенко. В статье использованы построенные автором подлогики классической пропозициональной логики, из которых главную роль играет логика INT<w,w> (она является также подлогикой интуиционистской пропозициональной логики). Обращение к логике INT<w,w> позволило провести такое обобщение теоремы Гливенко, которое распространяется на некоторый обширный (континуальной мощности) класс подлогик интуиционистской пропозициональной логики.
- Добавил в систему: Попов Владимир Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Li21_1_Popov.pdf | 379,9 КБ | 12 июня 2016 [markin_vladimir] |