Lübeck logic