|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Проблемы релевантной логики в работе В.А. Смирнова "Формальный вывод и логические исчисления"статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Авторы: Долгова Т.П., Попов В.М.
- Журнал: Логические исследования
- Том: 4
- Год издания: 1997
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 79
- Последняя страница: 93
- Аннотация: В работе излагаются некоторые результаты, полученные в релевантной логике профессором В.А. Смирновым. В первой части статьи воспроизводятся определения понятия вывода и формулировки теорем дедукции для импликативных релевантных логик, во второй части описывается абсолютная система релевантной логики, построенная В.А. Смирновым.
- Добавил в систему: Попов Владимир Михайлович