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.