Беркович Е. Л. Интерпретация одного из обобщений модальной логики Лукасевича / Е. Л. Беркович // Искусств. интеллект. - 2002. - № 3. - С. 490-496. - Библиогр.: 3 назв. - рус.Проведена формализация модальной системы, в том числе уточнено понятие подстановки на место переменного функтора, а также на формальном уровне построено естественное обобщение модальной системы для <$E 2 sup roman k>-значных функторов. При этом рассмотрены все допустимые функторы "возможности" и связи между ними. Для самого общего случая предложена интерпретация, в рамках которой возможность трактуется как истинность с некоторой точки зрения. Індекс рубрикатора НБУВ: В128.1
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|