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

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

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