Categorical Logic and Type Theory

Zusammenfassung Attempts to give a systematic presentation of both logic and type theory from a categorical perspective! using the unifying concept of fibred category. This book is useful for logicians! type theorists! category theorists and (theoretical) computer scientists. Inhaltsverzeichnis Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

Table des matières

Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

Commentaire

"The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items..." --Zentralblatt für Mathematik, vol.905R.A.G. Seely"This book will be the standard reference in its field for some time to come." --The Bulletin of Symbolic Logic, Vol. 6

Détails du produit

• Auteurs: B. Jacobs, B. (Computing Science Institute Jacobs, Bart Jacobs, Jacobs B.
• Edition: ELSEVIER SCIENCE BV
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 10.05.2001
• EAN: 9780444508539
• ISBN: 978-0-444-50853-9
• Pages: 778
• Thèmes: Studies in Logic and the Found; Studies in Logic and the Found; Studies in Logic and the Foundations of Mathematics
• Catégories: Sciences naturelles, médecine, informatique, technique > Sciences naturelles en général; SCIENCE / Philosophy & Social Aspects, MATHEMATICS / Logic, MATHEMATICS / Geometry / Algebraic, Philosophy of Science, Algebraic Geometry, Mathematical logic