Higher-Order Logic and Type Theory

ISBN-13: 9781108986908 / Angielski / Miękka / 2022 / 88 str.

John L. (University of Western Ontario) Bell

Opis

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Spis treści

1. Second- Order Logic and Higher-Order Logic; 2. Type Theory and its Origins; 3. Local set theory; 4. Newer Forms of Type Theory Based on the Doctrine of 'Propositions as Types'; Appendix; The Semantics of Local Set Theory/Intuitionistic Higher-Order Logic.