Books > Science & Mathematics > Mathematics > Applied mathematics
|
Buy Now
Lectures on Mathematical Logic, Volume II (Hardcover)
Loot Price: R3,412
Discovery Miles 34 120
|
|
Lectures on Mathematical Logic, Volume II (Hardcover)
Series: Lecturers on Mathematical Logic
Expected to ship within 12 - 17 working days
|
Donate to Gift Of The Givers
Total price: R3,432
Discovery Miles: 34 320
|
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
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.