Extensions of First-Order Logic | Taschenbuch

Cover: 9780521019026 | Extensions of First-Order Logic | Maria Manzano | Taschenbuch | 2005

Rückseite: 9780521019026 | Extensions of First-Order Logic | Maria Manzano | Taschenbuch | 2005

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

99,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.

Inhaltsverzeichnis

1. Standard second order logic; 2. Deductive calculi; 3. Categoricity of second order peano arithmetic; 4. Frames and general structures; 5. Type theory; 6. Many-sorted logic; 7. Applying MSL.

Details

Erscheinungsjahr:	2005
Fachbereich:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521019026
ISBN-10:	0521019028
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Manzano, Maria
Redaktion:	Rijsbergen, C. J. van Abramsky, Samson
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	244 x 170 x 22 mm
Von/Mit:	Maria Manzano
Erscheinungsdatum:	31.05.2005
Gewicht:	0,708 kg