A note on globally admissible inference rules for modal and superintuitionistic logics

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

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

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

Издание

Журнал: Bulletin of the Section of Logic

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

Номера страниц: 93-99

ISSN журнала: 01380680

Авторы

  • Rimatski V.V. (Department of Mathematics and Computer Science, Krasnoyarsk State University)
  • Rybakov V.V. (Department of Computing and Mathematics, Manchester Metropolitan University)

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

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.