Timeline for Can the Multiplicative Fragment of Linear Logic be shown to be non-truth-functional?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2015 at 17:02 | history | edited | Robin Houston | CC BY-SA 3.0 |
Add PS
|
| Apr 1, 2015 at 16:13 | comment | added | Todd Trimble | That's really nice, Robin; wish I had seen that! | |
| Apr 1, 2015 at 15:54 | history | edited | Robin Houston | CC BY-SA 3.0 |
deleted 6 characters in body
|
| Apr 1, 2015 at 15:47 | history | answered | Robin Houston | CC BY-SA 3.0 |