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