Tabular Logics with no Finite Bases for Inference Rules

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

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

Аннотация: We find an example of a rooted, finite, partially ordered set Q9 such that the superintuitionistic logic L(Q9) generated by Q9 has no finite bases for admissible inference rules. The modal logic based on Q9 also has the same property.

Ссылки на полный текст

Издание

Журнал: Interest Group in Pure and Applied Logics. Logic Journal

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

Номера страниц: 301

ISSN журнала: 13670751

Издатель: Oxford University Press

Персоны

Rybakov V.

Вхождение в базы данных

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

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