Тип публикации: статья из журнала
Год издания: 2023
Идентификатор DOI: 10.1515/dma-2023-0011
Ключевые слова: Kripke frame (model), admissible inference rule, basis admissible rules
Аннотация: We construct an explicit finite basis for admissible rules in -saturated tabular logics that extend the logic .
Журнал: Discrete Mathematics and Applications
Выпуск журнала: Т.33, №2
Номера страниц: 105-115
ISSN журнала: 09249265
Издатель: Brill Academic Publishers