noun
linear logic
A subfield of mathematical logic and theoretical computer science. Resources are treated as consumable and cannot be duplicated or discarded arbitrarily.
線形論理は、資源を意識した論理体系として知られている。
Linear logic is known as a logical system that is aware of resources.
His research focuses on the proof theory of linear logic.