Completeness, decidability. Relational models for LG are given in terms of two interpreting relations: R⊗ for multiplicative conjunction (merge, fusion), and R⊕ for multiplicative disjunction (fission). The truth conditions for co-product and the difference operations are given below.