A comparison between two different Tarski-style semantics fon linear logic