| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118919 | Annals of Pure and Applied Logic | 2005 | 49 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Sergey Slavnov,