Explicit basis for admissible rules in -saturated tabular logics : научное издание

Тип публикации: статья из журнала

Год издания: 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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.