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