Abstract | ||
---|---|---|
We prove a full completeness theorem for multiplicative–additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhard’s *-autonomous category of hypercoherences. This is the first non-game-theoretic full completeness theorem for this fragment. Our main result is that every dinatural transformation between definable functors arises from the denotation of a cut-free MALL proof. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.apal.2004.05.002 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
Multiplicative–additive linear logic,MALL proof-nets,Hypercoherences,Full completeness,Dinaturality,Softness,Double gluing | Discrete mathematics,Combinatorics,Denotation,Multiplicative function,Coproduct,Gödel's completeness theorem,Functor,Linear logic,Completeness (statistics),Mathematics,Dinatural transformation | Journal |
Volume | Issue | ISSN |
131 | 1 | 0168-0072 |
Citations | PageRank | References |
9 | 1.02 | 20 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
richard blute | 1 | 234 | 18.89 |
Masahiro Hamano | 2 | 39 | 7.66 |
Philip Scott | 3 | 123 | 9.47 |