Алгоритмический критерий допустимости правил вывода в модальной логике К4+bw2
Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/68097Автор:
Шумкина, Галина Михайловна
Научный руководитель:
Кияткин, Владимир Ростиславович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики