Дискрет. матем.,
2022, том 34, выпуск 1, страницы 126–140
(Mi dm1677)
|
Эта публикация цитируется в
3 статьях
Явный базис для допустимых правил $K$-насыщенных табличных логик
В. В. Римацкий Сибирский Федеральный Университет
Аннотация:
В статье получен явный конечный базис для допустимых правил
$K$-насыщенных табличных логик, расширяющих логику
$Grz$.
Ключевые слова:
фрейм (модель) Крипке, допустимое правило вывода, базис допустимых правил.
УДК:
510.643+517.11
Статья поступила: 02.10.2021
DOI:
10.4213/dm1677
© , 2024
Полный текст:
PDF файл (491 kB)