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