Girard's linear logic, Lukasiewicz logic (and several modal logics) have an intriguing simultaneous interpretation. It uses the co-universal characterization of closed intervals that arises from the search for a co-inductive approach to infinite precision real analysis.