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 |
|
|
|
|
|