Проблемы релевантной логики в работе В.А. Смирнова "Формальный вывод и логические исчисления"статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
Аннотация:В работе излагаются некоторые результаты, полученные в релевантной логике профессором В.А. Смирновым. В первой части статьи воспроизводятся определения понятия вывода и формулировки теорем дедукции для импликативных релевантных логик, во второй части описывается абсолютная система релевантной логики, построенная В.А. Смирновым.