Линейная логика

Линейная логика Основы линейной логики Линейная логика – это формальная система, которая позволяет выражать логические связи между ресурсами.  Она отличается […]

Линейная логика Линейная логика – формальная система, основанная на линейной импликации и ограничении сжатия.  Линейная логика используется для формализации рассуждений