Timeline for Sentential, first order and higher logics from a categorical perspective
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 29, 2019 at 0:17 | comment | added | Alec Rhea | For any future readers, in addition to the above references there is a book by Lambek and Scott that appears to be about this topic (github.com/Mzk-Levi/texts/blob/master/…). | |
| May 28, 2019 at 2:43 | comment | added | Alec Rhea | @AndreasBlass Much appreciated, I'll take a look. | |
| May 28, 2019 at 1:32 | comment | added | Andreas Blass | The Handbook of Mathematical Logic has a chapter "Doctrines in categorical logic" by Anders Kock and Gonzalo Reyes that, if I remember correctly, does some of what you want. (It dates from 1977,but these logics haven't changed much recently.) | |
| May 28, 2019 at 0:08 | comment | added | Alec Rhea | @ToddTrimble Yes, thanks for catching the typo -- I meant to write predicate logic, but there can apparently be first order and higher order predicate logics so I've simply omitted this from the title/question. Awodey's book has a section on Heyting algebras I'll take a look at, thanks for the recommendation. | |
| May 28, 2019 at 0:06 | history | edited | Alec Rhea | CC BY-SA 4.0 |
fixed error pointed out by Todd
|
| May 28, 2019 at 0:03 | comment | added | Todd Trimble | I thought sentential calculus and propositional calculus were synonymous. For that, just good old Heyting algebras would do for a start (Boolean algebras for the classical case). Most traditional treatments will cover classical but not intuitionistic logic; I don't know the text by Bell and Machover, which might be different. | |
| May 27, 2019 at 23:53 | history | asked | Alec Rhea | CC BY-SA 4.0 |