Lubeck Logic