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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания : 1/П31
Автор(ы) : Петрухин, Ярослав Игоревич (аспирант)
Заглавие : Натуральное исчисление для логики с операторами истинности и ложности
Серия: Логика
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2019. - № 6. - С.112-124 (Шифр mfls/2019/6)
Примечания : Библиогр.: с. 123-124. - Примечания в сносках
УДК : 1
ББК : 87.25
Предметные рубрики: Философия
Философия науки
Ключевые слова (''Своб.индексиров.''): fl4--логика обобщенных истинностных значений--натуральный вывод--неклассическая логика--оператор истинности--оператор ложности--четырехзначная логика--четырехзначная логика fl4
Аннотация: В статье формулируется натуральное исчисление линейного типа, формализующее четырехзначную логику С. А. Павлова FL4 с операторами истинности и ложности.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)