The Finite Model Property For Various Fragments Of Linear Logic

B stand for formulas. The connectives of propositional linear logic are: ffl the multiplicatives A & B, A\Omega B, ?, 1; ffl the additives A&B, A \Phi B, ?, 0; ffl the exponentials ?A, !A. Linear negation A ? is only given for positive atoms. It is extended to all formulas by A ?? = A and by (A & B) ? = A ?\Omega B ? ; ? ? = 1; (A &B) ? = A ? \Phi B