Coherent phase spaces. Semiclassical semantics

We show that the coherent phase space semantics of Linear Logic enjoys several completeness properties in general much stronger than the usual full completeness with respect to the class of dinatural transformations. These properties of completeness in conjunction with a quite natural (quasi)-physical meaning make the coherent phase space semantics an interesting object of investigation.