It is well known that Intuitionistic Logic can be faithfully embedded into (Intuitionistic) Linear Logic. A number of different solutions have been proposed for the embedding, or translation (cf. Girard (1987), Troelstra (1992), Danos et al. (1993)).
展开▼