Introduction to Higher-Order Categorical Logic

Front Cover
J. Lambek, P. J. Scott
Cambridge University Press, Mar 25, 1988 - Mathematics - 304 pages
0 Reviews
In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludeds with a set of exercises.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

I
3
II
4
III
8
IV
12
V
16
VI
19
VII
27
VIII
35
XXXIII
133
XXXIV
139
XXXV
145
XXXVI
148
XXXVII
153
XXXVIII
160
XXXIX
164
XL
169

IX
41
X
42
XI
47
XII
50
XIII
52
XIV
55
XV
57
XVI
59
XVII
62
XVIII
65
XIX
68
XX
72
XXI
77
XXII
81
XXIII
84
XXIV
88
XXV
93
XXVI
98
XXVII
101
XXVIII
107
XXIX
114
XXX
123
XXXI
124
XXXII
128
XLI
177
XLII
186
XLIII
189
XLIV
193
XLV
196
XLVI
200
XLVII
205
XLVIII
212
XLIX
217
L
223
LI
226
LII
231
LIII
237
LIV
244
LV
250
LVI
253
LVIII
257
LIX
264
LX
271
LXI
277
LXII
279
LXIII
289
LXIV
291
Copyright

Common terms and phrases

References to this book

All Book Search results »

References from web pages

JSTOR: Introduction to Higher Order Categorical Logic.
Introduction to higher order categorical logic. Cambridge studies in advanced mathematics, no. 7. Cambridge University Press, Cambridge etc. ...
links.jstor.org/ sici?sici=0022-4812(198909)54%3A3%3C1113%3AITHOCL%3E2.0.CO%3B2-W

Lambek and Scott: Introduction to higher order categorical logic
Lambek and Scott: Introduction to higher order categorical logic. Part 0: Introduction to category theory. Categories and functors · Natural transformations ...
mathgate.info/ cebrown/ notes/ lambekscott.php

Review: J. Lambek, pj Scott, Introduction to Higher Order ...
J. Lambek, pj Scott, Introduction to Higher Order Categorical Logic. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR ...
projecteuclid.org/ handle/ euclid.jsl/ 1183743059

Introduction to higher order categorical logic
Introduction to higher order categorical logic. Purchase this Book · Purchase this Book. Source, Cambridge Studies In Advanced Mathematics archive ...
portal.acm.org/ citation.cfm?id=7517

<a href="http://www.cambridge.org">© Cambridge University Press</a ...
978-0-521-35653-4 - Introduction to Higher Order Categorical Logic. J. Lambek and pj Scott. Excerpt. More information ...
assets.cambridge.org/ 97805213/ 56534/ excerpt/ 9780521356534_excerpt.pdf

A short article for the Encyclopedia of Artificial Intelligence ...
J. Lambek and pj Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, 1986. D. Miller, A Compact Representation of Proofs, ...
www.lix.polytechnique.fr/ Labo/ Dale.Miller/ papers/ AIencyclopedia/

Higher-order logic - Wikipedia, the free encyclopedia
Introduction to Higher Order Categorical Logic, Cambridge University Press. Retrieved from "http://en.wikipedia.org/wiki/Higher-order_logic" ...
en.wikipedia.org/ wiki/ Higher-order_logic

Zentralblatt MATH Database 1931 – 2008 0596.03002
Introduction to higher order categorical logic. (English). Cambridge Studies in Advanced Mathematics, 7. Cambridge etc.: Cambridge Univer-. sity Press. ...
zmath.impa.br/ cgi-bin/ zmen/ ZMATH/ en/ quick.html?first=1& maxdocs=3& type=pdf& an=0596.03002& format=complete

categorical logic: Information and Much More from Answers.com
Lambek, J. and Scott, pj (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK. ...
www.answers.com/ topic/ categorical-logic

Globalbook
Titulo: Introduction to Higher-Order Categorical Logic. Autores: Lambek. Tipo: Paperback, Peso: .5, Tamańo: 6 x 9 in ...
www.globalbookstore.com.mx/ detalles.php?ISBN=0521356539

About the author (1988)

Lambek, McGill University.

Scott, University of Ottawa.

Bibliographic information