DoSen, K. Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic, Theoretical Computer Science 102 (1992) 207-214. It is shown that nonmodal classical linear first-order predicate logic based on multiplicative conjunction, additive disjunction, negation, the propositional constants and the existential quantifier is included in intuitionistic linear first-order pr...