Theorem: If A is a propositional formula, the following properties are equivalent:
MLL = Multiplicative Linear Logic
MALL = Multiplicative Additive Linear Logic
MELL = Multiplicative Exponential Linear Logic
LL = Linear Logic
WLL = Affine Linear Logic





WLL 
finite model property 





semilinear model property 





decidability 




