The syntactic side of autonomous categories enriched over generalised metric spaces (Logical Methods in Computer Science, 2023)