Linking Logic