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


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