Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Петрухин, Ярослав Игоревич$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Петрухин, Ярослав Игоревич (магистр).
    Корреспондентский анализ для паранепротиворечивой слабой логики Клини [Текст] / Я. И. Петрухин, В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2017. - № 6. - С. 52-62. - Библиогр.: с. 60-62 . - ISSN 0201-7385
УДК
^a16
ББК 87.42
Рубрики: Логика
   Логические формы и законы
Кл.слова (ненормированные):
Клини логика -- корреспондентский анализ -- логика LP -- логика PWK -- логика Клини -- неклассическая логика -- паранепротиворечивая логика -- паранепротиворечивая слабая логика -- слабая логика -- трехзначная логика
Аннотация: Предлагается корреспондентский анализ для трехзначной паранепротиворечивой слабой логики Клини PWK. Используя корреспондентский анализ Коя и Тамминги, основанный на логике парадокса Приста LP, показывается, что для такого анализа достаточна функционально более слабая, чем LP, логика PWK.


Доп.точки доступа:
Шангин, Василий Олегович (кандидат философских наук; ассистент)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
2.


    Петрухин, Ярослав Игоревич (аспирант).
    Натуральное исчисление для логики с операторами истинности и ложности [Текст] / Я. И. Петрухин // Вестник Московского университета. Сер. 7, Философия. - 2019. - № 6. - С. 112-124. - Библиогр.: с. 123-124. - Примечания в сносках
УДК
^a1
ББК 87.25
Рубрики: Философия
   Философия науки
Кл.слова (ненормированные):
FL4 -- логика обобщенных истинностных значений -- натуральный вывод -- неклассическая логика -- оператор истинности -- оператор ложности -- четырехзначная логика -- четырехзначная логика FL4
Аннотация: В статье формулируется натуральное исчисление линейного типа, формализующее четырехзначную логику С. А. Павлова FL4 с операторами истинности и ложности.


Доп.точки доступа:
Павлов, С. А. (автор четырехзначной логики FL4)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)