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