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