Lectures on Mathematical Logic, Volume II (Hardcover)

In this volume, logic starts from the observation that in everyday arguments, as brought forward say by a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. This leads to Gentzen's calculi of derivations, presented first for positive logic and then, depending on the requirements made on the behaviour of negation, for minimal, intuitionist and classical logic. Identifying interdeducible formulas, each of these calculi gives rise to a lattice-like ordered structure. Describing the generation of filters in these structures leads to corresponding modus ponens calculi, and these turn out to be semantically complete because they express the algorithms generating semantical consequences, as obtained in Volume One of these lectures. The operators transforming derivations from one type of calculus into the other are also studied with respect to changes of the lengths of derivations, and operators eliminating defined predicate and function symbols are described expli

General

Imprint:	Taylor & Francis
Country of origin:	United Kingdom
Series:	Lecturers on Mathematical Logic
Release date:	May 2000
First published:	2000
Authors:	Walter Felscher
Dimensions:	229 x 152 x 19mm (L x W x T)
Format:	Hardcover
Pages:	330
ISBN-13:	978-90-5699-267-5
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Vector & tensor analysis Books > Science & Mathematics > Mathematics > Applied mathematics > General Promotions
LSN:	90-5699-267-8
Barcode:	9789056992675

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!