An inheritance criterion for the admissible inference rules of K4 | Научно-инновационный портал СФУ

An inheritance criterion for the admissible inference rules of K4

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

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

Идентификатор DOI: 10.1023/A:1021177619829

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

Издание

Журнал: Siberian Mathematical Journal

Выпуск журнала: Т. 43, 6

Номера страниц: 1094-1102

ISSN журнала: 00374466

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

Издатель: Springer-Verlag GmbH

Персоны

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

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

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