線形 せんけい論理 ろんりでしょう
senkeironrideshō

Noun
Desu Copula

Expresses probability in a polite manner ("probably…") of 線形論理

1. Probably linear logic.

Polite
Presumptive
Conjecture