MLL
Multiplicative Linear Logic
Other languages
乘法线性逻辑
乘法線性邏輯
Multiplicative Linear Logic
Logique linéaire multiplicative
Lógica lineal multiplicativa
Lógica Linear Multiplicativa
мультипликативная линейная логика
ضرب المنطق الخطي
Multiplikative lineare Logik
乗法線形論理
곱셈 선형 논리
ตรรกศาสตร์เชิงเส้นของการคูณ