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

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