Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Электронный каталог (1)
Поисковый запрос: (<.>K=интуиционистская логика<.>)
Общее количество найденных документов : 1
1.


    Хаханян, В. Х.
    Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2008. - № 4. - С. 92-105. - (Логика) ) . - Библиогр. в примеч.
. - Примеч.: с. 104-105 . - ISSN 0130-0091
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
интуиционизм -- интуиционистская логика -- интуиционистская математика -- математическая логика -- теория множеств
Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств.

Прямая ссылка
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)