線形 せんけい論理 ろんりであれば
senkeironrideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 線形論理

1. If linear logic; When linear logic

Ba Conditional