Признак наследования допустимых правил вывода для некоторых классов транзитивных модальных и суперинтуиционистских логик : препринт | Научно-инновационный портал СФУ

Признак наследования допустимых правил вывода для некоторых классов транзитивных модальных и суперинтуиционистских логик : препринт

Тип публикации: препринт

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

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

Издание

Место издания: ВИНИТИ РАН

Персоны

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

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

Версия для слабовидящих

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