Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : научное издание | Научно-инновационный портал СФУ

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : научное издание

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

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

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

Издание

Журнал: Journal of Siberian Federal University - Mathematics and Physics

Выпуск журнала: Vol. 17, 3

Номера страниц: 347-354

Персоны

  • Rimatsky V.V. (Сибирский федеральный университет)
  • Ganchukova O.V. (Сибирский федеральный университет)

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

  • Ядро РИНЦ (eLIBRARY.RU)
  • Список ВАК

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

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