In this paper, we consider random multi-normed spaces introduced by Dales and Polyakov (Multi-Normed Spaces, 2012). Next, by the fixed point method, we approximate the multiplicatives on these spaces.
We introduce a graph-theoretical representation of proofs of multiplicative linear logic which yields both a denotational semantics and a notion of truth. For this, we use a locative approach (in the sense of ludics [Gir01]) related to game semantics [HO00, AJM94] and the Danos-Regnier interpretation of GoI operators as paths in proof nets [ADLR94, DR95]. We show how we can retrieve from this l...
