ISSN 1997-7670 · EISSN 2541-8785
Язык: ru

ИЗВЕСТИЯ ИРКУТСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. СЕРИЯ: МАТЕМАТИКА

Архив статей журнала

БАЗИС ГЛОБАЛЬНО ДОПУСТИМЫХ ПРАВИЛ ЛОГИКИ S4 (2024)
Выпуск: Том 50 (2024)
Авторы: Римацкий Виталий Валентинович

Задание базовых правил вывода имеет фундаментальное значение для логики. Наиболее общим вариантом возможных правил вывода являются допустимые правила вывода: в логике

Сохранить в закладках