線せん形けい論ろん理り

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.