Higher-Order Logic and Type Theory

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

24,90 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined.

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	2022
Fachbereich:	Allgemeines
Genre:	Importe , Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9781108986908
ISBN-10:	1108986900
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Bell, John L.
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	229 x 152 x 6 mm
Von/Mit:	John L. Bell
Erscheinungsdatum:	31.03.2022
Gewicht:	0,142 kg