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