Timeline for Why is a cut-free system consistent?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2, 2016 at 5:23 | answer | added | François G. Dorais | timeline score: 14 | |
| Jan 2, 2016 at 4:36 | comment | added | Zhen Lin | Well, if you have a rule that allows you to immediately deduce $\bot$, then cut elimination is not going to save you there... | |
| Jan 2, 2016 at 3:21 | review | First posts | |||
| Jan 2, 2016 at 4:23 | |||||
| Jan 2, 2016 at 3:21 | history | asked | StudentType | CC BY-SA 3.0 |