Timeline for Does this variant of Multiplicative Linear Logic with mix rule enjoy cut elimination?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 1, 2018 at 7:36 | comment | added | Damiano Mazza | The relational semantics is not a truth semantics (a semantics of formulas, like Kripke semantics) but a denotational semantics (a semantics of proofs). It is sort of a degenerate version of coherence spaces. Unfortunately there is no formal account of it in the literature, except the appendix of this paper by Thomas Ehrhard. In short, if you take the self-dual version of the system I described and collect all the typings you can give with it to a proof $\pi$, the resulting set is (isomorphic to) the relational semantics of $\pi$. | |
| May 31, 2018 at 2:43 | comment | added | Łukasz Lew | Is relation semantics same as Kripke semantics? | |
| May 30, 2018 at 18:32 | comment | added | Łukasz Lew | Damiano, do you have a paper that you would recommend as a good intro to relational semantics? Preferably in the context of linear logic. | |
| May 28, 2018 at 5:42 | comment | added | Łukasz Lew | Damiano, thank you for your answer, I learned from it a lot. | |
| May 26, 2018 at 20:52 | vote | accept | Łukasz Lew | ||
| May 26, 2018 at 6:15 | history | answered | Damiano Mazza | CC BY-SA 4.0 |