Timeline for intuitionistic interpretation of classical logic
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 9, 2009 at 5:08 | comment | added | Joel David Hamkins | Yes, that's right. I added a link to the Wikepedia article on the double negation translation. | |
| Dec 9, 2009 at 4:44 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
added 196 characters in body; added 329 characters in body
|
| Dec 9, 2009 at 4:23 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |