Introduction to Higher-Order Categorical Logic

Main
Mathematics
Mathematics - Logic
Introduction to Higher-Order...

Introduction to Higher-Order Categorical Logic

J. Lambek, P. J. Scott

0 / 0

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.

श्रेणियाँ:

Mathematics
Mathematics - Logic

साल:

1988

प्रकाशन:

Cambridge University Press

भाषा:

english

पृष्ठ:

301

ISBN 13:

9780521356534

श्रृंखला:

Cambridge Studies in Advanced Mathematics 7

फ़ाइल:

PDF, 32.66 MB

IPFS:

,

english, 1988

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

Lambek J., Scott P.J. — Introduction to higher-order categorical logic

Dag Prawitz — Natural Deduction: A Proof-Theoretical Study

Daniel Gallin (Eds.) — Intensional and Higher-Order Modal Logic

Bart Jacobs — Categorical Logic and Type Theory

Brian F. Chellas — Modal Logic: An Introduction

J. Lambek, P.J. Scott — Introduction to Higher-Order Categorical Logic

Robert Goldblatt — Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

William Stanley Jevons — Elementary Lessons in Logic

Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden, Leendert van der Torre (eds.) — Handbook of Deontic Logic and Normative Systems

J. Lambek, P. J. Scott — Introduction to higher-order categorical logic

it-ebooks — Category Theory for Scientists (MIT 18.S996)

Samson Abramsky, Nikos Tzevelekos — Introduction to Categories and Categorial Logic (draft)

Jay C.B. — An introduction to categories in computing

J. Adámek, H. Herrlich, G. Strecker — Abstract and Concrete Categories - The Joy of Cats

Barr M. — Category theory

Beno Eckmann, Myles Tierney (eds.) — Seminar on Triples and Categorical Homology Theory

William R. Schmitt — A concrete introduction to category theory

F. William Lawvere — Adjointness in Foundations

Marco A. Pérez B. — Introduction to category theory: course notes

Mariusz Wodzicki — Notes on Category Theory[Lecture notes]

Steve Awodey — Category Theory: Lecture notes

Wodzicki M — Notes on Category Theory

Ryszard Paweł Kostecki — An Introduction to Topos Theory

Makkai M. — Fibrational formulation of intuitionistic predicate logic 1

Makkai M. — Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Applegate H., Barr M., Day B. — Reports of the Midwest Category Seminar IV

Asperti A. — Categories, types and structures

Horst Herrlich; George E. Strecker — Category Theory

H.; M. Barr; et al; Edited By A. Dold and B. Eckmann Appelgate — Seminar on Triples and Categorical Homology Theory

Michael A. Arbib,Ernest G. Manes — Arrows, Structures, and Functors : The Categorical Imperative

Steve Awodey — Category Theory

Andrea Asperti, Giuseppe Longo — Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

David I. Spivak — Category Theory for the Sciences

Benjamin C. Pierce — Basic Category Theory for Computer Scientists (Foundations of Computing)

Saunders Mac Lane — Categories for the Working Mathematician

Saunders Mac Lane — Categories for the Working Mathematician

Jiri Adamek, Horst Herrlich, George E. Strecker — Abstract and concrete categories: the joy of cats

J. Lambek, P. J. Scott — Introduction to Higher-Order Categorical Logic

Francis Borceux — Handbook of categorical algebra

Gray J.W., Scedrov A. (eds.) — Categories in computer science and logic

Dirk Hofmann, Gavin J. Seal, Walter Tholen (Editors) — Monoidal Topology: A Categorical Approach to Order, Metric, and Topology

Dirk Hofmann, Gavin J. Seal, Walter Tholen (Editors) — Monoidal Topology: A Categorical Approach to Order, Metric, and Topology

सबसे उपयोगी शब्द