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