Timeline for classical typed higher order logic natural deduction
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 16, 2015 at 21:58 | answer | added | Andrej Bauer | timeline score: 4 | |
| Sep 16, 2015 at 18:16 | answer | added | user13113 | timeline score: 3 | |
| Sep 16, 2015 at 17:01 | comment | added | Andreas Blass | "Type theory in classical logic" sounds like a description of Russell and Whitehead's "Principia Mathematica" and lots of simplifications and variations. Also, to get classical type theory from your favorite intuitionistic type theory, you could just add the law of the excluded middle as an axiom. If neither of those observations answers your first question, then you should probably clarify the question. | |
| Sep 16, 2015 at 15:54 | review | First posts | |||
| Sep 16, 2015 at 16:13 | |||||
| Sep 16, 2015 at 15:53 | history | asked | aUserWhoIsNotAUserMaybeThisIsA | CC BY-SA 3.0 |