Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Натуральное исчисление для логики с операторами истинности и ложности
статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Автор:
Петрухин Я.И.
Журнал:
Вестник Московского университета. Серия 7: Философия
Номер:
6
Год издания:
2019
Издательство:
Изд-во Моск. ун-та
Местоположение издательства:
М.
Первая страница:
112
Последняя страница:
124
Аннотация:
В статье формулируется натуральное исчисление линейного типа, формализующее четырехзначную логику С.А. Павлова FL4 с операторами истинности и ложности.
Добавил в систему:
Петрухин Ярослав Игоревич