Editing Categorical logic (section)

== Further reading ==
{{refbegin}}
*{{cite book |author1-link=Michael Makkai |first1=Michael |last1=Makkai |first2=Gonzalo E. |last2=Reyes |title=First Order Categorical Logic |publisher=Springer |date=1977 |isbn=978-3-540-08439-6 |doi=10.1007/BFb0066201 |url=https://link.springer.com/book/10.1007/BFb0066201 |series=Lecture Notes in Mathematics |volume=611}}
*{{cite book |last1=Lambek |first1=J. |last2=Scott |first2=P.J. |title=Introduction to Higher Order Categorical Logic |publisher=Cambridge University Press |series=Cambridge studies in advanced mathematics |volume=7 |date=1988 |isbn=978-0-521-35653-4 |url={{GBurl|6PY_emBeGjUC|pg=PR5}}}} Fairly accessible introduction, but somewhat dated. The categorical approach to higher-order logics over polymorphic and dependent types was developed largely after this book was published.
*{{cite book
  | first = Bart
  | last = Jacobs
  | title = Categorical Logic and Type Theory
  | year = 1999
  | publisher = North Holland, Elsevier
  | isbn =  0-444-50170-3
  | series = Studies in Logic and the Foundations of Mathematics |volume=141
  | url = https://www.cs.ru.nl/B.Jacobs/CLT/bookinfo.html }} A comprehensive monograph written by a computer scientist; it covers both first-order and higher-order logics, and also polymorphic and dependent types. The focus is on [[fibred category]] as universal tool in categorical logic, which is necessary in dealing with polymorphic and dependent types.
*{{cite book |author-link=John Lane Bell |first=John Lane |last=Bell |chapter=The Development of Categorical Logic |chapter-url={{GBurl|yObMqG9EcCEC|p=279}} |editor1-first=D.M. |editor1-last=Gabbay |editor2-first=Franz |editor2-last=Guenthner |title=Handbook of Philosophical Logic |publisher=Springer |volume=12|edition=2nd |date=2001 |isbn=978-1-4020-3091-8 |pages=279–361 |url=}} Version available [http://publish.uwo.ca/~jbell/catlogprime.pdf online] at [http://publish.uwo.ca/~jbell/ John Bell's homepage.]
*{{cite book |first1=Jean-Pierre |last1=Marquis |first2=Gonzalo E. |last2=Reyes |chapter=The History of Categorical Logic 1963–1977 |chapter-url={{GBurl|ZF_QckMFy-oC|p=689}} |title={{harvnb|Gabbay|Kanamori|Woods|2012}} |pages=689–800}}<br/>A preliminary [http://www.webdepot.umontreal.ca/Usagers/marquisj/MonDepotPublic/HistofCatLog.pdf version].
*{{cite web |author-link=Steve Awodey |first=Steve |last=Awodey |title=Categorical Logic |date= 12 July 2024|work=lecture notes |publisher= |url=https://awodey.github.io/catlog/notes/ }}
*{{cite web |author-link=Jacob Lurie |first=Jacob |last=Lurie |title=Categorical Logic (278x) |date= |work=lecture notes |publisher= |url=http://www.math.harvard.edu/~lurie/278x.html }}
{{refend}}

[[Category:Categorical logic| ]]
[[Category:Systems of formal logic]]
[[Category:Theoretical computer science]]