線形 せんけい論理 ろんりだろう
senkeironridarō

Noun
Da Copula

Expresses probability ("probably…") of 線形論理

1. Probably linear logic.

Presumptive
Conjecture