Сибирский федеральный университет

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

Год издания: 2023

Идентификатор DOI: 10.1007/s10469-024-09733-6

Ключевые слова: Kripke frame, Kripke model, admissible inference rule, basis for admissible rules, algebra, Mathematical logic and foundations

Аннотация: Inference rules are examined which are admissible immediately in all residually finite extensions of S4 possessing the weak cocover property. An explicit basis is found for such WCP-globally admissible rules. In case of tabular logics, the basis is finite, and for residually finite extensions, the independency of an explicit basis is proved.

Журнал: Algebra and Logic

Выпуск журнала: Т.62, №2

Номера страниц: 148-165

ISSN журнала: 00025232

Место издания: Новосибирск

Издатель: Springer New York Consultants Bureau

• Rimatskii V. V. (Siberian Federal University)

• Ядро РИНЦ (eLIBRARY.RU)